Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/396294
Title: | Formal methods based verification of real time operating system kernel with time and space partitioned architecture |
Researcher: | Singh, Abhishek |
Guide(s): | DSouza, Meenakshi |
Keywords: | Computer Science Computer Science Software Engineering Engineering and Technology |
University: | International Institute of Information Technology Bangalore |
Completed Date: | 2022 |
Abstract: | newline |
Pagination: | |
URI: | http://hdl.handle.net/10603/396294 |
Appears in Departments: | Department of Software Engineering |
Files in This Item:
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: