Jane Hillston
Jane Hillston
3 books in the database
Books
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)Jane Hillston
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
Jane Hillston · 2005
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed SystemsJane Hillston
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Jane Hillston · 2024
Compositional Approach to Performance ModellingJane Hillston
Compositional Approach to Performance Modelling
Jane Hillston · 2009
Co-authored books and collections
Books that list Jane Hillston among their authors but not as the lead author: co-written works, collections and compilations.
Formal Methods for the Quantitative Evaluation of Collective Adaptive SystemsMarco Bernardo
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo · 2016
Formal Methods for Performance EvaluationMarco Bernardo
Formal Methods for Performance Evaluation
Marco Bernardo · 2007