Measurement, Modelling and Evaluation of Dependable Computer and Communication SystemsAnne Remke, Boudewijn R. Haverkort · First published 2016Open the Tome
Quantitative Evaluation of SystemsJavier Campos, Boudewijn R. Haverkort · First published 2015Open the Tome
Validation of stochastic systemsChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle · First published 2004Open the Tome
Computer Performance Evaluation. Modelling Techniques and ToolsBoudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith · First published 2003Open the Tome
Performance of computer communication systemsBoudewijn R. Haverkort · First published 1998Open the Tome
