Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 비슷한 책 더 보기
Software Engineering and Formal Methods
2017년
Formal Methods and Software Engineering
2018년
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Formal Methods for Industrial Critical Systems
2018년
From Software Engineering to Formal Methods and Tools, and Back
2019년
Software Technologies: Applications and Foundations
2018년
Formal Methods for Eternal Networked Software Systems
2011년
Formal Methods. FM 2019 International Workshops
2020년
Transactions on Foundations for Mastering Change I
2016년
Formal Aspects of Component Software
2014년
Software Engineering and Formal Methods
2014년
Software Engineering and Formal Methods
2016년
Software Engineering and Formal Methods
2015년
New Trends in Model and Data Engineering
2018년
Fundamentals of Software Engineering
2019년