Formal Methods Applied to Complex Systems 비슷한 책 더 보기
Formal Methods for Components and Objects
2009년
Foundations of Computer Software
2011년
Model Driven Engineering Languages and Systems
2011년
Model-Driven Engineering and Software Development
2021년
Static Analysis of Software
2013년
Objects, Components, Models and Patterns
2009년
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016년
SDL '99
1999년
SDL 2015: Model-Driven Engineering for Smart Cities
2015년
Model Driven Engineering Languages and Systems
2008년
Formal Methods for Industrial Critical Systems
2020년
Model-Driven Development of Reliable Automotive Services
2008년
Formal Methods for Industrial Critical Systems
2019년
Model-Driven Engineering and Software Development
2020년
Cyber Physical Systems. Design, Modeling, and Evaluation
2017년