Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 비슷한 책 더 보기

Leveraging Applications of Formal Methods, Verification and Validation: Applications Leveraging Applications of Formal Methods, Verification and Validation: Applications
Leveraging Applications of Formal Methods, Verification and Validation: Applications
2020년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020년
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
2019년
Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
2021년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017년
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2018년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2018년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2020년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
2016년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2014년
Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
2008년
Structured Object-Oriented Formal Language and Method Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
2019년