Structured Object-Oriented Formal Language and Method More Books Like This
Formal Techniques for Safety-Critical Systems
2015
Formal Methods: Foundations and Applications
2017
Formal Methods and Software Engineering
2016
Formal Methods and Software Engineering
2015
Structured Object-Oriented Formal Language and Method
2015
Formal Methods and Software Engineering
2017
Integrated Formal Methods
2017
Integrated Formal Methods
2018
Formal Techniques for Safety-Critical Systems
2016
Formal Methods for Industrial Critical Systems
2022
Integrated Formal Methods
2019
Formal Aspects of Component Software
2017
Critical Systems: Formal Methods and Automated Verification
2017
Integrated Formal Methods
2016
NASA Formal Methods
2017