Yadav, Divakar, Institute of Engineering and Technology Lucknow 226 021, 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