1. IDR@IIT Indore
  2. B.Tech. Project Reports
  3. Department of Computer Science and Engineering_BTP
Please use this identifier to cite or link to this item: https://dspace.iiti.ac.in/handle/123456789/1000
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSaxena, Utkarshen_US
dc.contributor.authorBanda, Gourinath [Guide]en_US
dc.date.accessioned2018-01-24T10:06:41Z-
dc.date.available2018-01-24T10:06:41Z-
dc.date.issued2017-11-01-
dc.identifier.urihttps://dspace.iiti.ac.in/handle/123456789/1000-
dc.language.isoenen_US
dc.publisherDiscipline of Computer Science and Engineering, IIT Indoreen_US
dc.relation.ispartofseriesBTP290;CSE 2017 SAX-
dc.subjectComputer Scienceen_US
dc.titleFormal verification of autonomous systemsen_US
dc.typeB.Tech Projecten_US
Appears in Collections:Department of Computer Science and Engineering_BTP

Files in This Item:
File Description SizeFormat 
BTP_290_Utkarsh_Saxena_140001035.pdf3.67 MBAdobe PDFThumbnail
View/Open
Show simple item record


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

Altmetric Badge: