Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/1000
| Title: | Formal verification of autonomous systems |
| Authors: | Saxena, Utkarsh Banda, Gourinath [Guide] |
| Keywords: | Computer Science |
| Issue Date: | 1-Nov-2017 |
| Publisher: | Discipline of Computer Science and Engineering, IIT Indore |
| Series/Report no.: | BTP290;CSE 2017 SAX |
| URI: | https://dspace.iiti.ac.in/handle/123456789/1000 |
| 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_290_Utkarsh_Saxena_140001035.pdf | 3.67 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Altmetric Badge: