Models, Algorithms, Logics and Tools More Books Like This
Dependable Software Engineering. Theories, Tools, and Applications
2017
Dependable Software Engineering: Theories, Tools, and Applications
2016
Automated Technology for Verification and Analysis
2015
Model Checking Software
2016
Tools and Algorithms for the Construction and Analysis of Systems
2019
Formal Methods
2018
Tools and Algorithms for the Construction and Analysis of Systems
2016
Automated Technology for Verification and Analysis
2019
NASA Formal Methods
2018
FM 2016: Formal Methods
2016
Formal Methods: Foundations and Applications
2017
Theory and Practice of Formal Methods
2016
Formal Techniques for Distributed Objects, Components, and Systems
2019
Automated Technology for Verification and Analysis
2016
Formal Modeling and Analysis of Timed Systems
2018