Cyber Physical Systems. Design, Modeling, and Evaluation 비슷한 책 더 보기
Verification and Evaluation of Computer and Communication Systems
2018년
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
2022년
Quantitative Evaluation of Systems
2017년
Computer Performance Engineering
2010년
Formal Techniques for Safety-Critical Systems
2016년
Verification and Evaluation of Computer and Communication Systems
2020년
Quantitative Evaluation of Systems
2019년
Formal Methods for Industrial Critical Systems
2022년
Quantitative Evaluation of Systems
2015년
Quantitative Evaluation of Systems
2016년
Hardware and Software: Verification and Testing
2015년
Computer Aided Systems Theory - EUROCAST 2009
2009년
Formal Methods
2018년
NASA Formal Methods
2018년
Dependable Software Engineering. Theories, Tools, and Applications
2020년