Journal of Scientific & Industrial Research

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