Søkt på: Bøker av Hillston Jane
totalt 7 treff
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and …
A Compositional Approach to Performance Modelling
This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to …
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of …
7th UK Computer and Telecommunications Performance Engineering Workshop
Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and …
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of …
7th UK Computer and Telecommunications Performance Engineering Workshop
Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and …
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and …