IDR - IIT Kharagpur

Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems

Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems

 

Author: Saurav Kr. Ghosh
Supervisor: Dr. Soumyajit Dey
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India
March, 2020

Recent Submissions