Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 > >>
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
IP Based Transport Abstraction for Middleware Technologies
![Universitätsbibliografie TUC OPAC](public/library-pictogram.jpg)
IN Proceedings of the Third International Conference on Networking and Services (ICNS07), page 39 - 45, International Academy, Research, and Industry Association (IARIA), Athens, Greece, IEEE Computer Society, June 2007. ISBN: 0-7695-2858-9
A Service-oriented Framework for Manned and Unmanned Systems to support Network-centric Operations
![Universitätsbibliografie TUC OPAC](public/library-pictogram.jpg)
IN Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, page 284 - 291, Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Angers, France, INSTICC Press, May 2007. ISBN: 9789728865870
2006
Verifying Behavioural Extension of Components with Dynamically Evolving Interfaces
IN Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 145 - 152, Fraunhofer-Institut für Integrierte Schaltungen, February 2006. ISBN: 3-9810287-1-6
2005
Eclipse Plug-Ins for IMA Systems Integration
IN EADS Workshop on Eclipse Technology 2005, November 2005.
Configuration of future IMA Systems with VERDI.
IN EADS Technical Workshop Series 2005, November 2005.
Seiten: 1 2 > >>