Trustworthy Cyber-Physical Systems Engineering More Books Like This
New Trends in Model and Data Engineering
2018
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018
Software Engineering and Formal Methods
2018
Formal Methods for Industrial Critical Systems
2020
Software Technologies: Applications and Foundations
2018
Foundations of Computer Software
2011
Model-Based Safety and Assessment
2019
Formal Methods for Industrial Critical Systems
2018
Cyber Physical Systems. Model-Based Design
2019
Software Engineering for Resilient Systems
2011
Software Engineering for Self-Adaptive Systems III. Assurances
2018
Model-Driven Engineering and Software Development
2021
Software Engineering and Formal Methods
2016
Software Engineering for Resilient Systems
2017
Software Technologies
2014