1. Shodhganga@INFLIBNET
  2. Mody University of Science and Technology
  3. School of Liberal Arts and Sciences
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/341301
Full metadata record
DC FieldValueLanguage
dc.coverage.spatial
dc.date.accessioned2021-09-21T03:39:05Z-
dc.date.available2021-09-21T03:39:05Z-
dc.identifier.urihttp://hdl.handle.net/10603/341301-
dc.description.abstractnewline
dc.format.extentxx,117p.
dc.languageEnglish
dc.relation
dc.rightsuniversity
dc.titleAn Augmented Framework for Formal Analysis Of Safety Critical Systems
dc.title.alternative
dc.creator.researcherSingh,Monika
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Information Systems
dc.subject.keywordEngineering and Technology
dc.description.note
dc.contributor.guideJain,V.K.
dc.publisher.placeLakshmangarh
dc.publisher.universityMody University of Science and Technology
dc.publisher.institutionSchool of Liberal Arts and Sciences
dc.date.registered2011
dc.date.completed2017
dc.date.awarded2017
dc.format.dimensions
dc.format.accompanyingmaterialNone
dc.source.universityUniversity
dc.type.degreePh.D.
Appears in Departments:School of Liberal Arts and Sciences

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File62.41 kBAdobe PDFView/Open
02_certificate.pdf111.44 kBAdobe PDFView/Open
03_preliminary pages.pdf581.86 kBAdobe PDFView/Open
04_chapter 1.pdf486.61 kBAdobe PDFView/Open
05_chapter 2.pdf1.25 MBAdobe PDFView/Open
06_chapter 3.pdf689.95 kBAdobe PDFView/Open
07_chapter 4.pdf783.62 kBAdobe PDFView/Open
08_chapter 5.pdf1.21 MBAdobe PDFView/Open
09_chapter 6.pdf947.25 kBAdobe PDFView/Open
10_chapter 7.pdf145.47 kBAdobe PDFView/Open
11_bibliography.pdf616.03 kBAdobe PDFView/Open
12_publications.pdf94.91 kBAdobe PDFView/Open
80_recommendation.pdf201.7 kBAdobe 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: