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/454945
| Title: | Scalable statistical model checking for stochastic agent based simulations |
| Researcher: | Ramesh, Yenda |
| Guide(s): | Rao, M. V. Panduranga |
| Keywords: | Computer Science Computer Science Software Engineering Engineering and Technology |
| University: | Indian Institute of Technology Hyderabad |
| Completed Date: | 2022 |
| Abstract: | Available newline newline |
| Pagination: | xiii, 93 p. |
| URI: | http://hdl.handle.net/10603/454945 |
| Appears in Departments: | Department of Computer Science and Engineering |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 01_title.pdf | Attached File | 83.57 kB | Adobe PDF | View/Open |
| 80_recommendation.pdf | 110.21 kB | Adobe PDF | View/Open | |
| cs16resch11005_yenda ramesh_t.pdf | 1.64 MB | 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: