IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems
→
Browsing Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems by Subject

Browsing Model Checking Techniques for Reasoning about Events and Extremal Properties in Timed Systems by Subject

Now showing items 1-5 of 5

Subject
Automata Theoretic Methods [1]
Min-max Computation Tree Logic [1]
Model Checking [1]
Model Checking Techniques [1]
Timed Transition System [1]

Now showing items 1-5 of 5

Search DSpace

Advanced Search

Browse

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

My Account

Login