Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems More Books by Marco Bernardo, Rocco De Nicola & Jane Hillston

Formal Methods for Multicore Programming Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
2015
Formal Methods for Web Services Formal Methods for Web Services
Formal Methods for Web Services
2009
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2010
A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
2010