Books by Jane Hillston
Quantitative Evaluation of Sys
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Formal Methods for the Quantit
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Compositional Approach to Perf
Compositional Approach to Performance Modelling
Formal Methods for Performance Evaluation
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)