Distributed Applications and Interoperable Systems More Books by Anne Remke & Valerio Schiavoni

Formal Methods for Industrial Critical Systems

Computer Performance Engineering

Quantitative Evaluation of Systems

Computer Performance Engineering

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems