Yadav, Pooja, Dr A P J Abdul Kalam Technical University, Lucknow 226 031, India, India
-
Vol 80, No 12 (2021): Journal of Scientific and Industrial Research - Computer Science & Information Technology
Distributed systems, Formal methods, Load balancing, Proof obligations, Rodin, Verification
Abstract PDF -
Vol 81, No 05 (2022): Journal of Scientific and Industrial Research - Computer Science & Information Technology
Rigorous Design of Fault Tolerance and Recovery Algorithm for Disaster Management and Relief Distribution System using Event-B
Abstract PDF
Journal of Scientific & Industrial Research