Hybrid Systems: Computation and Control 비슷한 책 더 보기

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년