Leveraging Applications of Formal Methods, Verification and Validation 비슷한 책 더 보기
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022년
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016년
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
2018년
Transactions on Foundations for Mastering Change I
2016년
Software Technologies: Applications and Foundations
2018년
Software Technologies
2014년
Software Technology: Methods and Tools
2019년
Formal Methods. FM 2019 International Workshops
2020년
Grand Timely Topics in Software Engineering
2017년
From Software Engineering to Formal Methods and Tools, and Back
2019년
Evaluation of Novel Approaches to Software Engineering
2021년
Software Technologies: Applications and Foundations
2018년
Model-Driven Engineering and Software Development
2018년
Model-Driven Engineering and Software Development
2020년
Software Architecture
2020년