Formal Methods for Quality Assurance of Embedded Software

dc.contributor.guide	Chakrabarti, Sujit Kumar
dc.coverage.spatial
dc.creator.researcher	P. Suresh, Varsha
dc.date.accessioned	2024-10-03T11:31:16Z
dc.date.available	2024-10-03T11:31:16Z
dc.date.awarded	2024
dc.date.completed	2024
dc.date.registered	2016
dc.description.abstract	newline
dc.description.note
dc.format.accompanyingmaterial	None
dc.format.dimensions
dc.format.extent	xx, 170p.
dc.identifier.uri	http://hdl.handle.net/10603/593534
dc.language	English
dc.publisher.institution	Department of Software Engineering
dc.publisher.place	Bangalore
dc.publisher.university	International Institute of Information Technology Bangalore
dc.relation	87
dc.rights	university
dc.source.university	University
dc.subject.keyword	Computer Science
dc.subject.keyword	Computer Science Software Engineering
dc.subject.keyword	Engineering and Technology
dc.title	Formal Methods for Quality Assurance of Embedded Software
dc.title.alternative
dc.type.degree	Ph.D.