Zoekresultaten
Resultaat 1 - 5 (van 5)
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 Citius, Vilius, Melius
guiding and cost-optimality in model checking of timed and hybrid systems
Non-fictie
Engels | 153 pagina's | 2002
Gedrukt boek
A. Fehnker Bounding and heuristics in forward reachability algorithms
Non-fictie
Engels | 13 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 2000
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 Automotive control revisited
linear inequalities as approximation of reachable sets
Non-fictie
Engels | 18 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1997
Gedrukt boek