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: