Journal of Scientific and Industrial Research

Rigorous Specification of Vector Timestamp Based Load Sharing Mechanism for Distributed Systems

• Read more about Rigorous Specification of Vector Timestamp Based Load Sharing Mechanism for Distributed Systems

A Parametric Test based Analysis of State Estimation Techniques under Data Uncertainties

• Read more about A Parametric Test based Analysis of State Estimation Techniques under Data Uncertainties

Rigorous Design of Fault Tolerance and Recovery Algorithm for Disaster Management and Relief Distribution System using Event-B

• Read more about Rigorous Design of Fault Tolerance and Recovery Algorithm for Disaster Management and Relief Distribution System using Event-B

Formal Verification of Receiver Initiated Load Distribution Protocol with Fault Tolerance and Recovery

• Read more about Formal Verification of Receiver Initiated Load Distribution Protocol with Fault Tolerance and Recovery

Subscribe to Journal of Scientific and Industrial Research