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
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGhosh, Saurav Kumar-
dc.date.accessioned2021-06-24T11:35:43Z-
dc.date.available2021-06-24T11:35:43Z-
dc.date.issued2020-03-
dc.identifier.govdocNB16675-
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/9550-
dc.language.isoenen_US
dc.publisherIIT Kharagpuren_US
dc.subjectReliabilityen_US
dc.subjectFormal verificationen_US
dc.subjectCyber-physical Systemsen_US
dc.subjectReliability degradation estimationen_US
dc.subjectRobustness verificationen_US
dc.titleFormal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systemsen_US
dc.typeThesisen_US
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 simple item record


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