Zoekresultaten
Resultaat 1 - 3 (van 3)
A. Fehnker | F.W. Vaandrager | M. Zhang Modeling and verifying a Lego car using hybrid I/O automata
Non-fictie
Engels | 18 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek
A. Fehnker Scheduling a steel plant with timed automata
Non-fictie
Engels | 15 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
A. Fehnker Citius, Vilius, Melius
guiding and cost-optimality in model checking of timed and hybrid systems
Non-fictie
Engels | 153 pagina's | 2002
Gedrukt boek