Boudewijn R. Haverkort

No bio available. Add one in Open Library.

Books by Boudewijn R. Haverkort (50 max)

+ shelf+ list

Performance of computer communication systems: a model-based approach

1998

Boudewijn R. Haverkort

+ shelf+ list

Performability Modelling : Techniques and Tools

2001

Boudewijn R. Haverkort

+ shelf+ list

Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)

2004

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

+ shelf+ list

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

2015

Javier Campos, Boudewijn R. Haverkort

+ shelf+ list

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB and DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2016

Anne Remke, Boudewijn R. Haverkort

+ shelf+ list

Computer Performance Evaluation. Modelling Techniques and Tools 11th International Conference, TOOLS 2000 Schaumburg, il, USA, March 25-31, 2000 Proceedings

2003

Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith