1. Shodhganga@INFLIBNET
  2. International Institute of Information Technology Bangalore
  3. Department of Software Engineering
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/510263
Full metadata record
DC FieldValueLanguage
dc.coverage.spatial
dc.date.accessioned2023-09-01T13:39:35Z-
dc.date.available2023-09-01T13:39:35Z-
dc.identifier.urihttp://hdl.handle.net/10603/510263-
dc.description.abstractnewline
dc.format.extent
dc.languageEnglish
dc.relation108
dc.rightsuniversity
dc.titleFormal verification of domain specific industrial automation languages
dc.title.alternative
dc.creator.researcherMandal, Avijit
dc.subject.keywordAutomation and Control Systems
dc.subject.keywordComputer Science
dc.subject.keywordEngineering and Technology
dc.description.note
dc.contributor.guideDSouza, Meenakshi
dc.publisher.placeBangalore
dc.publisher.universityInternational Institute of Information Technology Bangalore
dc.publisher.institutionDepartment of Software Engineering
dc.date.registered2015
dc.date.completed2023
dc.date.awarded2023
dc.format.dimensionsxvii, 157p.
dc.format.accompanyingmaterialNone
dc.source.universityUniversity
dc.type.degreePh.D.
Appears in Departments:Department of Software Engineering

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File154.23 kBAdobe PDFView/Open
02_prelim pages.pdf657.28 kBAdobe PDFView/Open
03_contents.pdf50.06 kBAdobe PDFView/Open
04_abstract.pdf46.2 kBAdobe PDFView/Open
05_chapter 1.pdf78.31 kBAdobe PDFView/Open
06_chapter 2.pdf197.74 kBAdobe PDFView/Open
07_chapter 3.pdf262.66 kBAdobe PDFView/Open
08_chapter 4.pdf285.37 kBAdobe PDFView/Open
09_chapter 5.pdf384.89 kBAdobe PDFView/Open
10_chapter 6.pdf455.87 kBAdobe PDFView/Open
12_annexures.pdf487.15 kBAdobe PDFView/Open
80_recommendation.pdf532.52 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: