Boudewijn R.H.M. Haverkort

prof.dr.ir.

1990 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1990 2018

Filter
Book editing
2005

The International Conference on Dependable Systems and Networks 2005

Bondavelli, A., Haverkort, B. R. H. M. & Tang, D. 2005 Los Alamitos, California: IEEE Computer Society.

Research output: Book/ReportBook editing

2004

QEST 2004: First International Conference on the Quantitative Evaluation of Systems: Proceedings

Haverkort, B. R. H. M., Franceschinis, G., Katoen, J. P. & Woodside, M. 2004 Los Alamitos, CA, USA: IEEE Computer Society. 360 p.

Research output: Book/ReportBook editing

Validation of stochastic systems

Baier, C., Haverkort, B. R. H. M., Hermanns, H., Katoen, J. P. & Siegle, M. 2004 Berlin: Springer. 467 p. (Lecture notes in computer science; no. 2925)

Research output: Book/ReportBook editing

2000

Computer Performance Evaluation: Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

Haverkort, B. R. H. M. (ed.), Bohnenkamp, H. C. (ed.) & Smith, C. U. (ed.) Mar 2000 Springer Verlag. 384 p. (Lecture Notes in Computer Science; vol. 1786)

Research output: Book/ReportBook editing