Formal Methods for Industrial Critical Systems More Books Like This
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Dependable Software Engineering. Theories, Tools, and Applications
2018
Formal Methods and Software Engineering
2018
Formal Methods for Industrial Critical Systems
2019
Software Engineering and Formal Methods
2017
From Software Engineering to Formal Methods and Tools, and Back
2019
Formal Methods for Industrial Critical Systems
2020
Software Technologies: Applications and Foundations
2018
Formal Aspects of Component Software
2014
New Trends in Model and Data Engineering
2018
Formal Techniques for Safety-Critical Systems
2020
Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Software Engineering and Formal Methods
2018
Formal Methods for Eternal Networked Software Systems
2011
Software Engineering and Formal Methods
2014