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/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:
File Description SizeFormat 
01_title.pdfAttached File181.97 kBAdobe PDFView/Open
02_dedication.pdf52.89 kBAdobe PDFView/Open
03_certificate.pdf269.45 kBAdobe PDFView/Open
04_abstract.pdf94.75 kBAdobe PDFView/Open
05_acknowledgements.pdf92.81 kBAdobe PDFView/Open
06_list of publications.pdf93.31 kBAdobe PDFView/Open
07_table of contents.pdf87.51 kBAdobe PDFView/Open
08_list of figures.pdf130.36 kBAdobe PDFView/Open
09_list of tables.pdf100.76 kBAdobe PDFView/Open
10_list of abbreviations.pdf74.64 kBAdobe PDFView/Open
11_chapter 1.pdf117.97 kBAdobe PDFView/Open
12_chapter 2.pdf285.47 kBAdobe PDFView/Open
13_chapter 3.pdf678.66 kBAdobe PDFView/Open
14_chapter 4.pdf411.54 kBAdobe PDFView/Open
15_chapter 5.pdf506.96 kBAdobe PDFView/Open
16_chapter 6.pdf77.48 kBAdobe PDFView/Open
17_bibliography.pdf116.95 kBAdobe PDFView/Open
18_appendix a1.pdf236.75 kBAdobe PDFView/Open
19_appendix a2.pdf774.35 kBAdobe PDFView/Open
20_appendix a3.pdf144.58 kBAdobe PDFView/Open
21_appendix a4.pdf157.2 kBAdobe PDFView/Open
80_recommendation.pdf288.61 kBAdobe PDFView/Open
Show full 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: