Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems More Books by Anne Remke & Boudewijn R. Haverkort

Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2025
Computer Performance Engineering Computer Performance Engineering
2025
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
2020
Distributed Applications and Interoperable Systems Distributed Applications and Interoperable Systems
2020
Computer Performance Engineering Computer Performance Engineering
2018