Cyber Physical Systems. Design, Modeling, and Evaluation More Books Like This
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