Zoekresultaten
Resultaat 1 - 4 (van 4)
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