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

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년
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
2020년
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2018년
Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
2016년
Generative and Transformational Techniques in Software Engineering II Generative and Transformational Techniques in Software Engineering II
Generative and Transformational Techniques in Software Engineering II
2008년
Formal Methods for Components and Objects Formal Methods for Components and Objects
Formal Methods for Components and Objects
2009년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development
2019년
Objects, Components, Models and Patterns Objects, Components, Models and Patterns
Objects, Components, Models and Patterns
2009년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018년
Grand Timely Topics in Software Engineering Grand Timely Topics in Software Engineering
Grand Timely Topics in Software Engineering
2017년
Model Driven Engineering Languages and Systems Model Driven Engineering Languages and Systems
Model Driven Engineering Languages and Systems
2011년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020년
Theory and Practice of Model Transformation Theory and Practice of Model Transformation
Theory and Practice of Model Transformation
2018년
Generative and Transformational Techniques in Software Engineering III Generative and Transformational Techniques in Software Engineering III
Generative and Transformational Techniques in Software Engineering III
2011년