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

Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation
2021년
Leveraging Applications of Formal Methods, Verification and Validation. Modeling Leveraging Applications of Formal Methods, Verification and Validation. Modeling
2018년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
2020년
Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
2016년
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
2018년
Grand Timely Topics in Software Engineering Grand Timely Topics in Software Engineering
2017년
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
2018년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
2019년
Perspectives of System Informatics Perspectives of System Informatics
2018년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
2020년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
2017년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
2020년
Modelling Foundations and Applications Modelling Foundations and Applications
2018년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019년
Software Technologies Software Technologies
2014년