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