Zoekresultaten
Resultaat 1 - 3 (van 3)
András Oláh | S.M. Heemstra de Groot Assertional verification of a connection management protocol
Non-fictie
Engels | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1995
Gedrukt boek
András Oláh | S.M. Heemstra de Groot Design and implementation issues of end-to-end protocols in high-speed networks
Non-fictie
Engels | 19 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1993
Gedrukt boek
András Oláh | S.M. Heemstra de Groot Alternative specification and verification of a periodic state exchange protocol
Non-fictie
Engels | Centre for Telematics and Information Technology, Enschede | 1996
Gedrukt boek