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/809
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGhatge, Shivanien_US
dc.contributor.authorBanda, Gourinath [Guide]en_US
dc.date.accessioned2018-01-05T09:07:13Z-
dc.date.available2018-01-05T09:07:13Z-
dc.date.issued2015-12-07-
dc.identifier.urihttps://dspace.iiti.ac.in/handle/123456789/809-
dc.language.isoenen_US
dc.publisherDiscipline of Computer Science and Engineering, IIT Indoreen_US
dc.relation.ispartofseriesBTP125;CSE 2015 GHA-
dc.subjectComputer Scienceen_US
dc.titleA case study of formal methods applications as per Do-178C guidelinesen_US
dc.typeB.Tech Projecten_US
Appears in Collections:Department of Computer Science and Engineering_BTP

Files in This Item:
File Description SizeFormat 
BTP_General_Note.pdf240.28 kBAdobe PDFThumbnail
View/Open
Show simple item record


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

Altmetric Badge: