Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems More Books Like This

Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2011
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2011
Abstract State Machines, B and Z Abstract State Machines, B and Z
Abstract State Machines, B and Z
2008
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2019
Formal Methods and Hybrid Real-Time Systems Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems
2007
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2016
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2016
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2016
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2018
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2018
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2016
Formal Methods Formal Methods
Formal Methods
2018
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2017
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020