Jane Hillston

Books

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016
Formal Methods for Performance Evaluation Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
2007