IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Automated Planning Based Methods for Early Verification of Reactive Control Systems
→
Browsing Automated Planning Based Methods for Early Verification of Reactive Control Systems by Subject

Browsing Automated Planning Based Methods for Early Verification of Reactive Control Systems by Subject

Now showing items 1-5 of 5

Subject
Adaptive Cruise Control [1]
Automated Planning [1]
Formal Verification [1]
Reactive Control Systems [1]
Requirements Engineering [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