1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Automated Planning Based Methods for Early Verification of Reactive Control Systems
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6153
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGosh, Kamalesh-
dc.date.accessioned2016-03-02T05:57:04Z-
dc.date.available2016-03-02T05:57:04Z-
dc.date.issued2016-01-
dc.identifier.govdocNB15392-
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6153-
dc.language.isoenen
dc.publisherIIT, Kharagpuren
dc.subjectAdaptive Cruise Controlen
dc.subjectReactive Control Systemsen
dc.subjectRequirements Engineeringen
dc.subjectFormal Verificationen
dc.subjectAutomated Planningen
dc.titleAutomated Planning Based Methods for Early Verification of Reactive Control Systemsen
dc.typeThesisen
Appears in Collections:Automated Planning Based Methods for Early Verification of Reactive Control Systems

Files in This Item:
File Description SizeFormat 
NB15392_Thesis.pdf
  Restricted Access		2.41 MBAdobe PDFView/Open Request a copy
NB15392_Abstract.pdf24.49 kBAdobe PDFThumbnail
View/Open
Show simple item record


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