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