1. Shodhganga@INFLIBNET
  2. University of Calcutta
  3. Department of Computer Science & Engineering
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/555372
Title: Formal Modelling and Verification Using Event B
Researcher: Karmakar, Rahul
Guide(s): Chaki, Nabendu
Keywords: Engineering and Technology
Computer Science
Computer Science Software Engineering
Computer Science and Engineering
University: University of Calcutta
Completed Date: 2024
Abstract: Abstract available newline
Pagination: 153
URI: http://hdl.handle.net/10603/555372
Appears in Departments:Department of Computer Science & Engineering

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File50.55 kBAdobe PDFView/Open
02_prelim pages.pdf83.46 kBAdobe PDFView/Open
03_content.pdf60.39 kBAdobe PDFView/Open
04_abstract.pdf396.8 kBAdobe PDFView/Open
05_chapter 1.pdf193.25 kBAdobe PDFView/Open
06_chapter 2.pdf185.33 kBAdobe PDFView/Open
07_chapter 3.pdf525.64 kBAdobe PDFView/Open
08_chapter 4.pdf1.84 MBAdobe PDFView/Open
09_chapter 5.pdf328.46 kBAdobe PDFView/Open
10_chapter 6.pdf63.02 kBAdobe PDFView/Open
11_bibliography.pdf97.94 kBAdobe PDFView/Open
80_recommendation.pdf50.55 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:
Admin Tools