New Trends in Model and Data Engineering 비슷한 책 더 보기
Software Technologies: Applications and Foundations
2018년
Software Engineering and Formal Methods
2018년
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016년
From Software Engineering to Formal Methods and Tools, and Back
2019년
Formal Methods. FM 2019 International Workshops
2020년
Software Engineering and Formal Methods
2016년
Software Engineering and Formal Methods
2015년
Trustworthy Cyber-Physical Systems Engineering
2016년
Software Technologies
2014년
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Formal Methods for Industrial Critical Systems
2018년
Formal Techniques for Safety-Critical Systems
2020년
Formal Methods and Software Engineering
2018년
Model-Driven Engineering and Software Development
2021년
New Trends in Model and Data Engineering
2019년