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
Full metadata record
DC FieldValueLanguage
dc.coverage.spatial
dc.date.accessioned2022-07-29T05:19:46Z-
dc.date.available2022-07-29T05:19:46Z-
dc.identifier.urihttp://hdl.handle.net/10603/396294-
dc.description.abstractnewline
dc.format.extent
dc.languageEnglish
dc.relation
dc.rightsuniversity
dc.titleFormal methods based verification of real time operating system kernel with time and space partitioned architecture
dc.title.alternative
dc.creator.researcherSingh, Abhishek
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Software Engineering
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.completed2022
dc.date.awarded2022
dc.format.dimensions
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 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 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: