Springe zum Hauptinhalt
Technische Informatik
Publikationen

 in  

Publikationstyp:  Jahr:  bis 

Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 3 .. 8 > >>

PhdThesis

2002


André Windisch
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

InCollection

2012


Jens Halbig and André Windisch and Patrick Kingsbury and Norbert Oswald and Wolfram Hardt
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


Marco Fischer and Stefan Förster and André Windisch
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

Article

2013


Jens Halbig and André Windisch and Patrick Kingsbury and Norbert Oswald and Wolfram Hardt
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


André Windisch and Schneider and Mades and Dieter Monjau and Manfred Glesner and Hammer and Wolfgang Ecker
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 > >>