20 results on '"Inan M"'
Search Results
2. On the Composition of Hybrid Systems
3. The Teja System for Real-Time Dynamic Event Management
4. Symbolic Model Checking
5. Automated Highway Systems: an Example of Hierarchical Control
6. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata
7. Control for a Class of Hybrid Systems
8. Symmetry and Model Checking
9. Reach Set Computation Using Optimal Control
10. The Theory of Hybrid Automata
11. Compositional Systems and Methods
12. Partial Order Reductions
13. Complexity Issues in Automata Theoretic Verification
14. Timed Automata
15. Temporal Logic and Model Checking
16. Model Checking Using Automata Theory
17. General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software
18. Formal Verification in a Commercial Settings
19. Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-time Systems
20. Overview of Verification
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.