Hybrid Systems: Computation and Control More Books Like This

Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2021
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2009
Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
2021
Reachability Problems Reachability Problems
Reachability Problems
2011
Principles of Systems Design Principles of Systems Design
Principles of Systems Design
2022
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2022
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2022
CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
2011
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2007
Unconventional Computation Unconventional Computation
Unconventional Computation
2008
Automata, Languages and Programming Automata, Languages and Programming
Automata, Languages and Programming
2011
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2022
Automata, Languages and Programming Automata, Languages and Programming
Automata, Languages and Programming
2010
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2010
Time for Verification Time for Verification
Time for Verification
2010