( en | de | ru )

 

Disambiguation of "Haverkort, Boudewijn R."

Author of the publication

copydeleteadd this publication to your clipboard
Specification techniques for Markov reward models.

, and . Discrete Event Dynamic Systems, 3 (2-3): 219-247 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maurits Haverkort

Boudewijn Moonen

Boudewijn Venema

Frans Boudewijn Gerritse

R Ringseis

 

Other publications of authors with the same name

Which battery model to use?, and . IET Softw., 3 (6): 445-457 (2009)Analysis of a sewage treatment facility using hybrid Petri nets., , and . VALUETOOLS, page 165-174. ICST/ACM, (2013)Specification techniques for Markov reward models., and . Discrete Event Dynamic Systems, 3 (2-3): 219-247 (1993)Performability Modelling Tools, Evaluation Techniques and Applications.. University of Twente, Enschede, Netherlands, (1990)base-search.net (ftunivtweneemcs:oai:ewi.utwente.nl:7865).Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives., , , and . Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, page 1-24. Springer, (1994)Performance and Dependability Evaluation: Successes, Failures and Challenges.. EPEW, volume 5261 of Lecture Notes in Computer Science, page 1. Springer, (2008)Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support.. MMB, volume 977 of Lecture Notes in Computer Science, page 239-253. Springer, (1995)Automating the Mean-Field Method for Large Dynamic Gossip Networks., , , , and . QEST, page 241-250. IEEE Computer Society, (2010)Models Meet Data: Challenges to Create Virtual Entities for Digital Twins., , , , , and . MoDELS (Companion), page 225-228. IEEE, (2021)Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management., and . E2DC, volume 8945 of Lecture Notes in Computer Science, page 52-67. Springer, (2014)