Zoekresultaten
Resultaat 1 - 1 (van 1)
F. Hanssen | A.H. Mader | Pierre G. Jansen Verifying the distributed real-time network protocol RTnet using Uppaal
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2006
Gedrukt boek