Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 > >>
Book
2007
Stefan Förster and Wolfram Hardt (Hrsg.)
A Formal Framework for Modelling Component Extensions and Layers in Distributed Embedded Systems
Wissenschaftliche Schriftenreihe:Eingebette,selbstorganisierende Systeme, TUDpress, Verlag der Wissenschaften GmbH, Bergstr. 70, 01069 Dresden, Germany, May 2007. ISBN: 9783940046222
A Formal Framework for Modelling Component Extensions and Layers in Distributed Embedded Systems
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
Technische Universität Chemnitz, Fakultät für Informatik, Professur Technische Informatik, Straße der Nationen 62, 09111 Chemnitz, Deutschland, January 2007.
A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems
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
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
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
Information Management for Unmanned Systems: Combining DL-Reasoning with Publish/Subscribe
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
Informatik aktuell, IN 20. Fachgespräch Autonome Mobile Systeme (AMS 2007), page 110 - 113, Springer Verlag, October 2007. ISBN: 9783540747635
An Architectural Framework for Cooperative Civil and Military Mission Scenarios
Informatik aktuell, IN 20. Fachgespräch Autonome Mobile Systeme (AMS 2007), page 110 - 113, Springer Verlag, October 2007. ISBN: 9783540747635
Toni Reichelt and Norbert Oswald and André Windisch and Stefan Förster and Herwig Moser
IP Based Transport Abstraction for Middleware Technologies
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
IP Based Transport Abstraction for Middleware Technologies
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
Norbert Oswald and André Windisch and Stefan Förster and Herwig Moser and Toni Reichelt
A Service-oriented Framework for Manned and Unmanned Systems to support Network-centric Operations
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
A Service-oriented Framework for Manned and Unmanned Systems to support Network-centric Operations
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
Stefan Förster
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
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
André Windisch and Stefan Förster and Marco Fischer and Norbert Oswald
Eclipse Plug-Ins for IMA Systems Integration
IN EADS Workshop on Eclipse Technology 2005, November 2005.
Eclipse Plug-Ins for IMA Systems Integration
IN EADS Workshop on Eclipse Technology 2005, November 2005.
André Windisch and Stefan Förster and Marco Fischer
Configuration of future IMA Systems with VERDI.
IN EADS Technical Workshop Series 2005, November 2005.
Configuration of future IMA Systems with VERDI.
IN EADS Technical Workshop Series 2005, November 2005.
Seiten: 1 2 > >>
