Cyber Physical Systems. Design, Modeling, and Evaluation More Books Like This
Cyber Physical Systems. Model-Based Design
2020
Cyber Physical Systems. Model-Based Design
2019
Software Engineering and Formal Methods
2018
Formal Techniques for Safety-Critical Systems
2020
Computer Aided Systems Theory – EUROCAST 2022
2023
Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Dependable Software Engineering. Theories, Tools, and Applications
2018
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018
Principles of Modeling
2018
Formal Methods for Industrial Critical Systems
2020
Software Technologies: Applications and Foundations
2018
Formal Methods for Industrial Critical Systems
2018
Software Technologies
2020
Formal Methods and Software Engineering
2018
Verification and Evaluation of Computer and Communication Systems
2017