Collaborative Design for Embedded Systems More Books Like This
Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Cyber Physical Systems. Model-Based Design
2019
Software Engineering and Formal Methods
2018
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
2021
Formal Techniques for Safety-Critical Systems
2020
Formal Methods for Industrial Critical Systems
2018
Cyber Physical Systems. Model-Based Design
2020
Model-Driven Engineering and Software Development
2021
Verification and Validation in Systems Engineering
2010
Cyber Physical Systems. Design, Modeling, and Evaluation
2019
Technological Innovation for Sustainability
2011
Software-Intensive Systems and New Computing Paradigms
2008
Trustworthy Cyber-Physical Systems Engineering
2016
Formal Methods for Industrial Critical Systems
2020
Dependable Software Engineering. Theories, Tools, and Applications
2018