Shodhganga : a reservoir of Indian theses @ INFLIBNET
The Shodhganga@INFLIBNET Centre provides a platform for research students to deposit their Ph.D. theses and make it available to the entire scholarly community in open access.
Browsing by Researcher/Guide DSouza, Meenakshi
Showing results 1 to 2 of 2
| Upload Date | Title | Researcher | Guide(s) |
|---|---|---|---|
| 29-Jul-2022 | Formal methods based verification of real time operating system kernel with time and space partitioned architecture | Singh, Abhishek | DSouza, Meenakshi |
| 1-Sep-2023 | Formal verification of domain specific industrial automation languages | Mandal, Avijit | DSouza, Meenakshi |