Shodhganga : a reservoir of Indian theses @ INFLIBNET
The Shodhganga@INFLIBNET Centre provides a platform for research students to deposit their Ph.D. theses and make it available to the entire scholarly community in open access.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/445337
| Title: | Intelligent transportation systems algorithms and formal verification |
| Researcher: | Chouhan, Aaditya Prakash |
| Guide(s): | Banda, Gourinath |
| Keywords: | Computer Science Engineering and Technology Operations Research and Management Science |
| University: | Indian Institute of Technology Indore |
| Completed Date: | 2021 |
| Abstract: | Available |
| Pagination: | 173p. |
| URI: | http://hdl.handle.net/10603/445337 |
| Appears in Departments: | Department of Computer Science and Engineering |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 01_title.pdf | Attached File | 64.56 kB | Adobe PDF | View/Open |
| 02_prelim pages.pdf | 289.83 kB | Adobe PDF | View/Open | |
| 03_contents.pdf | 86.5 kB | Adobe PDF | View/Open | |
| 04_abstract.pdf | 48.75 kB | Adobe PDF | View/Open | |
| 05_chapter 1.pdf | 163.64 kB | Adobe PDF | View/Open | |
| 06_chapter 2.pdf | 1.16 MB | Adobe PDF | View/Open | |
| 07_chapter 3.pdf | 161.36 kB | Adobe PDF | View/Open | |
| 08_chapter 4.pdf | 739.5 kB | Adobe PDF | View/Open | |
| 09_chapter 5.pdf | 491.89 kB | Adobe PDF | View/Open | |
| 10_chapter 6.pdf | 81.28 kB | Adobe PDF | View/Open | |
| 11_chapter 7.pdf | 574.46 kB | Adobe PDF | View/Open | |
| 12_annexures files.pdf | 141.3 kB | Adobe PDF | View/Open | |
| 80_recommendation.pdf | 155.33 kB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: