Verification and Validation in Systems Engineering More Books Like This
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016
Model-Driven Engineering and Software Development
2021
Software Technologies: Applications and Foundations
2018
Formal Techniques for Safety-Critical Systems
2020
Dependable Software Engineering. Theories, Tools, and Applications
2018
Formal Methods for Industrial Critical Systems
2012
From Software Engineering to Formal Methods and Tools, and Back
2019
New Trends in Model and Data Engineering
2018
Formal Methods. FM 2019 International Workshops
2020
Software Engineering and Formal Methods
2018
Evaluation of Novel Approaches to Software Engineering
2020
Transactions on Foundations for Mastering Change I
2016
Software Engineering and Formal Methods
2016
Software Technologies: Applications and Foundations
2018
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
2019