1. Shodhganga@INFLIBNET
  2. Mangalore University
  3. Department of Computer Science
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/404056
Title: Enhancing reliability of embedded safety critical software through lightweight formal methods
Researcher: Shobha Prabhu, S
Guide(s): Shashirekha, H L
Keywords: Computer Science
Computer Science Software Engineering
Engineering and Technology
University: Mangalore University
Completed Date: 2021
Abstract: newline
Pagination: 
URI: http://hdl.handle.net/10603/404056
Appears in Departments:Department of Computer Science

Files in This Item:
File Description SizeFormat 
01_title page.pdfAttached File206.49 kBAdobe PDFView/Open
02_declaration.pdf215.86 kBAdobe PDFView/Open
03_certificate.pdf215.66 kBAdobe PDFView/Open
04_acknowledgement.pdf126.59 kBAdobe PDFView/Open
05_contents.pdf58.48 kBAdobe PDFView/Open
06_list of figures and tables.pdf94.03 kBAdobe PDFView/Open
07_abstract.pdf120.92 kBAdobe PDFView/Open
08_chapte 1.pdf365.57 kBAdobe PDFView/Open
09_chapter 2.pdf413.57 kBAdobe PDFView/Open
10_chapter 3.pdf303.33 kBAdobe PDFView/Open
11_chapter 4.pdf266.18 kBAdobe PDFView/Open
12_chapter 5.pdf230.91 kBAdobe PDFView/Open
13_chapater 6.pdf123.43 kBAdobe PDFView/Open
14_publications.pdf111.93 kBAdobe PDFView/Open
15_bibliography.pdf133.36 kBAdobe PDFView/Open
16_appendices.pdf122.05 kBAdobe PDFView/Open
80_recommendation.pdf1.63 MBAdobe 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: