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/1010
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKamat, Akash Ananden_US
dc.contributor.authorBanda, Gourinath [Guide]en_US
dc.date.accessioned2018-01-24T10:32:47Z-
dc.date.available2018-01-24T10:32:47Z-
dc.date.issued2017-11-01-
dc.identifier.urihttps://dspace.iiti.ac.in/handle/123456789/1010-
dc.language.isoenen_US
dc.publisherDiscipline of Computer Science and Engineering, IIT Indoreen_US
dc.relation.ispartofseriesBTP300;CSE 2017 KAM-
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_300_Akash_Anand_Kamat_140001003.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: