1. Shodhganga@INFLIBNET
  2. Indian Institute of Technology Hyderabad
  3. Department of Computer Science and Engineering
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/454945
Full metadata record
DC FieldValueLanguage
dc.coverage.spatialComputer Science and Engineering
dc.date.accessioned2023-01-30T11:12:51Z-
dc.date.available2023-01-30T11:12:51Z-
dc.identifier.urihttp://hdl.handle.net/10603/454945-
dc.description.abstractAvailable newline newline
dc.format.extentxiii, 93 p.
dc.languageEnglish
dc.relationNA
dc.rightsuniversity
dc.titleScalable statistical model checking for stochastic agent based simulations
dc.title.alternativeNa
dc.creator.researcherRamesh, Yenda
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Software Engineering
dc.subject.keywordEngineering and Technology
dc.description.noteReference page p. 87
dc.contributor.guideRao, M. V. Panduranga
dc.publisher.placeKandi
dc.publisher.universityIndian Institute of Technology Hyderabad
dc.publisher.institutionDepartment of Computer Science and Engineering
dc.date.registered2016
dc.date.completed2022
dc.date.awarded2022
dc.format.dimensionsNA
dc.format.accompanyingmaterialNone
dc.source.universityUniversity
dc.type.degreePh.D.
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 simple 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: