Springe zum Hauptinhalt
Technische Informatik
Publikationen

 in  

Publikationstyp:  Jahr:  bis 

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

Book

2007


Stefan Förster and Wolfram Hardt (Hrsg.)
A Formal Framework for Modelling Component Extensions and Layers in Distributed Embedded Systems TUC OPAC
Wissenschaftliche Schriftenreihe:Eingebette,selbstorganisierende Systeme, TUDpress, Verlag der Wissenschaften GmbH, Bergstr. 70, 01069 Dresden, Germany, May 2007. ISBN: 9783940046222

PhdThesis

2007


Stefan Förster
A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems TUC OPAC
Technische Universität Chemnitz, Fakultät für Informatik, Professur Technische Informatik, Straße der Nationen 62, 09111 Chemnitz, Deutschland, January 2007.

InCollection

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

InProceedings

2008


Herwig Moser and Toni Reichelt and Norbert Oswald and Stefan Förster
Information Management for Unmanned Systems: Combining DL-Reasoning with Publish/Subscribe TUC OPAC
IN The 28 th Annual International Conference of the British Computer Society's Specialist Group on Artificial Intelligence (SGAI 2008), Springer Verlag, December 2008. ISBN: 9781848822146

2007


Norbert Oswald and Stefan Förster and Herwig Moser and Toni Reichelt and André Windisch
An Architectural Framework for Cooperative Civil and Military Mission Scenarios TUC OPAC
Informatik aktuell, IN 20. Fachgespräch Autonome Mobile Systeme (AMS 2007), page 110 - 113, Springer Verlag, October 2007. ISBN: 9783540747635

Seiten: 1 2 3 4 > >>