IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles
→
Browsing Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles by Subject

Browsing Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles by Subject

Now showing items 1-4 of 4

Subject
Dynamic Property Verification (DPV) [1]
LTL Model [1]
Temporal Logics [1]
Temporal Operators [1]

Now showing items 1-4 of 4

Search DSpace

Advanced Search

Browse

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

My Account

Login