Zoekresultaten
Resultaat 1 - 9 (van 9)
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 Comments on "Minimum-latency transport protocols with modulo-N incarnation numbers"
Non-fictie
Engels | Centre for Telematics and Information Technology, Enschede | 1995
Gedrukt boek
András Oláh Verification of a timestamp-based sliding-window protocol
Non-fictie
Engels | 29 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1994
Gedrukt boek
András Oláh Connection management based on synchronized clocks
Non-fictie
Engels | 23 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1993
Gedrukt boek
András Oláh A survey of network interface designs
Non-fictie
Engels | 29 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1992
Gedrukt boek
András Oláh Design and analysis of transport protocols for reliable high-speed communications
Non-fictie
Engels | 183 pagina's | Centre for Telematics and Information Technology, Enschede | 1997
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
András Oláh Formal verification and analysis of PAWS
Non-fictie
Engels | 33 pagina's | Centre for Telematics and Information Technology, Enschede | 1995
Gedrukt boek