Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 3 4 > >>
2007
A Formal Framework for Modelling Component Extensions and Layers in Distributed Embedded Systems
![Universitätsbibliografie TUC OPAC](public/library-pictogram.jpg)
Wissenschaftliche Schriftenreihe:Eingebette,selbstorganisierende Systeme, TUDpress, Verlag der Wissenschaften GmbH, Bergstr. 70, 01069 Dresden, Germany, May 2007. ISBN: 9783940046222
2007
A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems
![Universitätsbibliografie TUC OPAC](public/library-pictogram.jpg)
Technische Universität Chemnitz, Fakultät für Informatik, Professur Technische Informatik, Straße der Nationen 62, 09111 Chemnitz, Deutschland, January 2007.
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
2008
Information Management for Unmanned Systems: Combining DL-Reasoning with Publish/Subscribe
![Universitätsbibliografie TUC OPAC](public/library-pictogram.jpg)
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
An Architectural Framework for Cooperative Civil and Military Mission Scenarios
![Universitätsbibliografie TUC OPAC](public/library-pictogram.jpg)
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 > >>