J. H. · J. Hillston · Jane E. Hillston
Cambridge University Press · Springer
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| A Compositional Approach to Performance Modelling | 978-0-521-57189-0 | 1996 | ||
| Compositional Performance Modelling | 978-0-521-67353-2 | 2008 | ||
| Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering) | 978-3-540-72482-7 | 2007 | Marco Bernardo | |
| Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 978-3-319-34095-1 | 2016 | Marco Bernardo · Rocco De Nicola | |