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/363640
Title: Some studies on a parallel protocol verification system and its performance prediction using timing schema
Researcher: Dutta, Sourav Kumar
Guide(s): Das, P. K. and Saha, Debashis
Keywords: CFSM (Communicating Finite State Machine)
Protocol Verification System
Timing Schema
University: Jadavpur University
Completed Date: 2000
Abstract: newline
Pagination: 214p.
URI: http://hdl.handle.net/10603/363640
Appears in Departments:Department of Computer Science and Engineering

Files in This Item:
File Description SizeFormat 
01_title page.pdfAttached File34.55 kBAdobe PDFView/Open
02_acknowledgement.pdf46.99 kBAdobe PDFView/Open
03_certificate.pdf39.57 kBAdobe PDFView/Open
04_dedication.pdf6.39 kBAdobe PDFView/Open
05_preface.pdf214.09 kBAdobe PDFView/Open
06_contents.pdf168.86 kBAdobe PDFView/Open
07_abstract.pdf76.53 kBAdobe PDFView/Open
08_curriculum vitae.pdf57.32 kBAdobe PDFView/Open
09_list of publication.pdf233.27 kBAdobe PDFView/Open
10_abbreviation.pdf121.66 kBAdobe PDFView/Open
11_list of tables figures plates notations symbols organization.pdf349.56 kBAdobe PDFView/Open
12_chapter 1.pdf1.7 MBAdobe PDFView/Open
13_chapter 2.pdf746.85 kBAdobe PDFView/Open
14_chapter 3.pdf790.03 kBAdobe PDFView/Open
15_chapter 4.pdf2.37 MBAdobe PDFView/Open
16_chapter 5.pdf1.42 MBAdobe PDFView/Open
17_chapter 6.pdf405.18 kBAdobe PDFView/Open
18_appendices.pdf296.36 kBAdobe PDFView/Open
19_references.pdf666.5 kBAdobe PDFView/Open
20_index.pdf131.13 kBAdobe PDFView/Open
80_recommendation.pdf34.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: