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

dc.contributor.author	Ghosh, Saurav Kumar
dc.date.accessioned	2021-06-24T11:35:43Z
dc.date.available	2021-06-24T11:35:43Z
dc.date.issued	2020-03
dc.identifier.govdoc	NB16675
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/9550
dc.language.iso	en	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Reliability	en_US
dc.subject	Formal veriﬁcation	en_US
dc.subject	Cyber-physical Systems	en_US
dc.subject	Reliability degradation estimation	en_US
dc.subject	Robustness veriﬁcation	en_US
dc.title	Formal Methods and Algorithms for the Reliability Analysis of Component Based Cyber-Physical Systems	en_US
dc.type	Thesis	en_US