IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking
→
Browsing Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking by Subject

Browsing Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking by Subject

Now showing items 1-7 of 7

Subject
Backward Reasoning [1]
Distributed Protocol [1]
Formal Verification [1]
Formula Decomposition [1]
Model Checking [1]
Parametric Verification [1]
Semantic Tableau [1]

Now showing items 1-7 of 7

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login