Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 3 .. 8 > >>
2002
A Framework for the Formalisation of the Simulation Semantics of Multi-Lingual Specified Heterogeneous Systems
TU Chemnitz, Fakultät für Informatik, Professur Rechnersysteme, D-09107 Chemnitz, Deutschland, December 2002. ISBN: 3-18-371910-X
2012
Development of a Real-Time Decision-Making System for Certifiable Autonomous Unmanned Systems
Informatik aktuell, IN Autonomous Mobile Systems 2012, page 119 - 128, Springer Verlag, 2012. ISBN: 978-3-642-32216-7, ISSN: 1431-472-X
2004
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Languages for System Specification, page 271 - 283, Kluwer Academic Publishers, 2004. ISBN: 1-4020-7990-7
2013
Realtime Decision-Making for Certifiable Autonomous Unmanned Systems
IN International Journal of Imaging and Robotics, page 44 - 57, CESER Publications, 2013. ISSN: 2231-525X
2000
Eine flexible Simulationsumgebung für System-On-Chip Design
IN Informationstechnik und Technische Informatik (it+ti), page 43 - 53, Oldenbourg Verlag, München, Deutschland, 2000.
Seiten: 1 2 3 .. 8 > >>