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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022년
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016년
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
2018년
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
2018년
Software Technologies Software Technologies
2014년
Software Technology: Methods and Tools Software Technology: Methods and Tools
2019년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
2020년
Grand Timely Topics in Software Engineering Grand Timely Topics in Software Engineering
2017년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019년
Evaluation of Novel Approaches to Software Engineering Evaluation of Novel Approaches to Software Engineering
2021년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2018년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
2018년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
2020년
Software Architecture Software Architecture
2020년