Zoekresultaten
Resultaat 1 - 4 (van 4)
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
L. Brandán Briones | H. Brinksma A test generation framework for quiescent real-time systems
Non-fictie
Engels | 20 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
H. Brinksma | A.H. Mader On verification modelling of embedded systems
Non-fictie
Engels | 5 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
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