Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/809
| Title: | A case study of formal methods applications as per Do-178C guidelines |
| Authors: | Ghatge, Shivani Banda, Gourinath [Guide] |
| Keywords: | Computer Science |
| Issue Date: | 7-Dec-2015 |
| Publisher: | Discipline of Computer Science and Engineering, IIT Indore |
| Series/Report no.: | BTP125;CSE 2015 GHA |
| URI: | https://dspace.iiti.ac.in/handle/123456789/809 |
| Type of Material: | B.Tech Project |
| Appears in Collections: | Department of Computer Science and Engineering_BTP |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| BTP_General_Note.pdf | 240.28 kB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Altmetric Badge: