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