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 SizeFormat 
01_title.pdfAttached File83.57 kBAdobe PDFView/Open
80_recommendation.pdf110.21 kBAdobe PDFView/Open
cs16resch11005_yenda ramesh_t.pdf1.64 MBAdobe PDFView/Open
Show full item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: