1. Shodhganga@INFLIBNET
  2. Jadavpur University
  3. Department of Computer Science and Engineering
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/365315
Title: Modeling analysis and verification of real time software systems an integrated approach
Researcher: Hazra, Rumpa
Guide(s): Bhattacharya, Swapan and Kanjilal, Ananya
Keywords: Consistency
Modeling
Real time software systems
University: Jadavpur University
Completed Date: 2019
Abstract: newline
Pagination: 187 p.
URI: http://hdl.handle.net/10603/365315
Appears in Departments:Department of Computer Science and Engineering

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File36.96 kBAdobe PDFView/Open
02_certificate.pdf4.15 MBAdobe PDFView/Open
03_acknowledgements.pdf48.94 kBAdobe PDFView/Open
04_contents.pdf141.58 kBAdobe PDFView/Open
05_preface.pdf45.71 kBAdobe PDFView/Open
06_list of tables figures.pdf99.72 kBAdobe PDFView/Open
07_chapter 1.pdf178.41 kBAdobe PDFView/Open
08_chapter 2.pdf532.18 kBAdobe PDFView/Open
09_chapter 3.pdf243.36 kBAdobe PDFView/Open
10_chapter 4.pdf903.24 kBAdobe PDFView/Open
11_chapter 5.pdf391.66 kBAdobe PDFView/Open
12_chapter 6.pdf363.01 kBAdobe PDFView/Open
13_chapter 7.pdf1.07 MBAdobe PDFView/Open
14_chapter 8.pdf86.09 kBAdobe PDFView/Open
15_appendix.pdf152.13 kBAdobe PDFView/Open
16_reference.pdf102.6 kBAdobe PDFView/Open
80_recommendation.pdf36.96 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: