Zoekresultaten
Resultaat 1 - 14 (van 14)
L. Brandán Briones | H. Brinksma Testing multi input-output real-time systems
(extended version)
Non-fictie
Engels | 20 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology A modelling method for embedded systems
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Centre for Telematics and Information Technology Poseidon: a 2-tier anomaly-based intrusion detection system
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Communication and collaboration support systems
Non-fictie
Engels | 303 pagina's | Ohmsha, Tokyo | 2007
Gedrukt boek
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
Centre for Telematics and Information Technology Scheduling lacquer production by reachability analysis
a case study
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Stefan Nicolaas Strubbe Compositional modelling of stochastic hybrid systems
Non-fictie
Engels | 155 pagina's | 2005
Gedrukt boek
Goran Fedja Frehse Compositional verification of hybrid systems using simulation relations
Non-fictie
Engels | 204 pagina's | 2005
Gedrukt boek
B. Gaujal | A. Hordijk | Dinard van der Laan On the optimal policy for deterministic and exponential polling systems
Non-fictie
Engels | 24 pagina's | Tinbergen Institute, Amsterdam [etc.] | 2005
Gedrukt boek
V. Jones | Arend Rensink | H. Brinksma Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise
Non-fictie
Engels | Centre for Telematics and Information Technology, University of Twente, Enschede | 2005
Gedrukt boek
Roel de Vrijer | J.W. Klop Infinitary normalization
Non-fictie
Engels | 24 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
Marcel Bratatjandra Passive integration for Bluetooth system-in-package modules
Non-fictie
Engels | 147 pagina's | Stan Ackermans Institute, Eindhoven | 2005
Gedrukt boek
Sonali Parmar Predictable multiprocessor system-on-chip design for soft real-time streaming applications
Non-fictie
Engels | 76 pagina's | Stan Ackermans Institute, Eindhoven University of Technology, Eindhoven | 2005
Gedrukt boek
T.J.H. Geelen Dynamic loading in a real-time system
an overlaying technique using virtual memory
Non-fictie
Engels | 77 pagina's | Stan Ackermans Instituut, Eindhoven | 2005
Gedrukt boek