Formal Methods Applied to Complex Systems More Books Like This
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