Haverkort, Boudewijn R. books & textbook
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science, 2925)
Baier, Christel Haverkort, Boudewijn R. Hermanns, Holger Katoen, Joost-Pieter Siegle, Markus
Springer /2004-08-11 Paperback / 480 Pages
isbn-10: 3540222650 / isbn-13: 9783540222651
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, ... (Programming and Software Engineering)
Remke, Anne Haverkort, Boudewijn R.
Springer /2016-03-24 Paperback / 221 Pages
isbn-10: 3319315587 / isbn-13: 9783319315584
Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings (Theoretical Computer Science and General Issues)
Campos, Javier Haverkort, Boudewijn R.
Springer /2015-08-12 Paperback / 345 Pages
isbn-10: 3319222635 / isbn-13: 9783319222639
[(Performance of Computer Communication Systems : A Mode-based Approach)] [By (author) Boudewijn R. Haverkort] published on (December, 1998)
Hardcover
Computer Performance Evaluation. Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings
Haverkort, Boudewijn R. Bohnenkamp, Henrik C. Smith, Connie U.
Springer /2014-03-12 Paperback / 404 Pages
isbn-10: 3662204045 / isbn-13: 9783662204047
Performability Modelling : Techniques and Tools
Boudewijn R. Haverkort Raymond Marie Gerardo Rubino Kishor S. Trivedi
Wiley /2001-05-30 Hardcover / 338 Pages
isbn-10: 0471491950 / isbn-13: 9780471491958
