1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/9550
Title: Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems
Authors: Ghosh, Saurav Kumar
Keywords: Reliability
Formal verification
Cyber-physical Systems
Reliability degradation estimation
Robustness verification
Issue Date: Mar-2020
Publisher: IIT Kharagpur
Gov't Doc #: NB16675
URI: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/9550
Appears in Collections:Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems

Files in This Item:
File Description SizeFormat 
NB16675_Abstract.pdf120.89 kBAdobe PDFView/Open
NB16675_Thesis.pdf
  Restricted Access		3.38 MBAdobe PDFView/Open Request a copy
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.