Verification and Validation in Systems Engineering 비슷한 책 더 보기

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development
2021년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-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년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2012년
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년
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
New Trends in Model and Data Engineering
2018년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2018년
Evaluation of Novel Approaches to Software Engineering Evaluation of Novel Approaches to Software Engineering
Evaluation of Novel Approaches to Software Engineering
2020년
Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
2016년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2016년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018년
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
2019년