Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems 비슷한 책 더 보기

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년