Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/514650
Full metadata record
DC FieldValueLanguage
dc.coverage.spatial
dc.date.accessioned2023-10-03T04:13:18Z-
dc.date.available2023-10-03T04:13:18Z-
dc.identifier.urihttp://hdl.handle.net/10603/514650-
dc.description.abstractNo newline newline
dc.format.extentxiv, 154p
dc.languageEnglish
dc.relation
dc.rightsuniversity
dc.titleSystem verification
dc.title.alternative
dc.creator.researcherAghav, Jagannath Vithalrao
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Artificial Intelligence
dc.subject.keywordEngineering and Technology
dc.subject.keywordESTEREL Basics
dc.subject.keywordReaction Cycle
dc.subject.keywordSpeedometer
dc.subject.keywordTAXYS Validation
dc.subject.keywordTime Markers
dc.description.note
dc.contributor.guideShyamasundar, R K
dc.publisher.placeMumbai
dc.publisher.universityUniversity of Mumbai
dc.publisher.institutionComputer Science, Tata Institute of Fundamental Research
dc.date.registered
dc.date.completed2004
dc.date.awarded
dc.format.dimensions
dc.format.accompanyingmaterialDVD
dc.source.universityUniversity
dc.type.degreePh.D.
Appears in Departments:Computer Science, Tata Institute of Fundamental Research

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File296.96 kBAdobe PDFView/Open
02_prelim pages.pdf3.18 MBAdobe PDFView/Open
03_contents.pdf840.69 kBAdobe PDFView/Open
04_chapter 1.pdf2.59 MBAdobe PDFView/Open
05_chapter 2.pdf12.91 MBAdobe PDFView/Open
06_chapter 3.pdf2.62 MBAdobe PDFView/Open
07_chapter 4.pdf8.58 MBAdobe PDFView/Open
08_chapter 5.pdf3.25 MBAdobe PDFView/Open
09_chapter 6.pdf10.14 MBAdobe PDFView/Open
10_chapter 7.pdf3 MBAdobe PDFView/Open
11_annexures.pdf13.6 MBAdobe PDFView/Open
80_recommendation.pdf3.3 MBAdobe PDFView/Open


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

Altmetric Badge: