Formal Methods for Components and Objects More Books Like This
Objects, Components, Models and Patterns
2009
Perspectives of System Informatics
2018
Software Engineering and Formal Methods
2015
Formal Methods for Eternal Networked Software Systems
2011
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Formal Aspects of Component Software
2014
Model-Driven Engineering and Software Development
2020
Software Engineering and Formal Methods
2014
Software Engineering and Formal Methods
2017
Coordination Models and Languages
2020
Model-Driven Engineering and Software Development
2021
Software Composition
2008
Model Driven Engineering Languages and Systems
2011
Generative and Transformational Techniques in Software Engineering II
2008
Formal Methods and Software Engineering
2018