Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/510263
Title: | Formal verification of domain specific industrial automation languages |
Researcher: | Mandal, Avijit |
Guide(s): | DSouza, Meenakshi |
Keywords: | Automation and Control Systems Computer Science Engineering and Technology |
University: | International Institute of Information Technology Bangalore |
Completed Date: | 2023 |
Abstract: | newline |
Pagination: | |
URI: | http://hdl.handle.net/10603/510263 |
Appears in Departments: | Department of Software Engineering |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
01_title.pdf | Attached File | 154.23 kB | Adobe PDF | View/Open |
02_prelim pages.pdf | 657.28 kB | Adobe PDF | View/Open | |
03_contents.pdf | 50.06 kB | Adobe PDF | View/Open | |
04_abstract.pdf | 46.2 kB | Adobe PDF | View/Open | |
05_chapter 1.pdf | 78.31 kB | Adobe PDF | View/Open | |
06_chapter 2.pdf | 197.74 kB | Adobe PDF | View/Open | |
07_chapter 3.pdf | 262.66 kB | Adobe PDF | View/Open | |
08_chapter 4.pdf | 285.37 kB | Adobe PDF | View/Open | |
09_chapter 5.pdf | 384.89 kB | Adobe PDF | View/Open | |
10_chapter 6.pdf | 455.87 kB | Adobe PDF | View/Open | |
12_annexures.pdf | 487.15 kB | Adobe PDF | View/Open | |
80_recommendation.pdf | 532.52 kB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: