Zoekresultaten
Resultaat 1 - 6 (van 6)
José M. Martínez | Boudewijn R. Haverkort CSL model checking of Deterministic and Stochastic Petri Nets
Non-fictie
Engels | 24 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Boudewijn R. Haverkort Efficient solution of a class of infinite stochastic petri nets
theory and applications
Non-fictie
Engels | 20 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1994
Gedrukt boek
Boudewijn R. Haverkort | Hessel P. Idzenga | B.G. Kim Performance evaluation of ATM cell scheduling policies using stochastic Petri nets
Non-fictie
Engels | 18 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1994
Gedrukt boek
Aad P.A. van Moorsel | Boudewijn R. Haverkort A unified performability evaluation framework for computer and communication systems
Non-fictie
Engels | 17 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1993
Gedrukt boek
Leonard J.N. Franken | Boudewijn R. Haverkort Distributed computer systems and logistics systems: what do they have in common besides distribution?
Non-fictie
Engels | 28 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1992
Gedrukt boek
Boudewijn R. Haverkort | Kishor Shridharbhai Trivedi Specification and generation of Markov reward models
Non-fictie
Engels | 34 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1992
Gedrukt boek