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

Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
2016년
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년
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년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018년
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년
Modelling Foundations and Applications Modelling Foundations and Applications
Modelling Foundations and Applications
2018년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development
2018년
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
2018년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development
2019년
Model Driven Engineering Languages and Systems Model Driven Engineering Languages and Systems
Model Driven Engineering Languages and Systems
2011년
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년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020년
SDL 2015: Model-Driven Engineering for Smart Cities SDL 2015: Model-Driven Engineering for Smart Cities
SDL 2015: Model-Driven Engineering for Smart Cities
2015년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2016년