Anzahl: 5 10 25 50 100 Alle
Seiten: 1
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.
AADL-Modelling of Plug&Play Weapon System Architecture
IN Proceedings of the AADL Workshop 2005, page 121 - 132, October 2005.
2004
A Methodology for Embedded Systems Design supporting Layered Platforms
IN Proceedings of Forum on Specification and Design Languages (FDL'04), page 544 - 555, September 2004.
2003
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 447 - 455, September 2003.
Process Algebraic Specification, Refinement, and Verification of Embedded Systems
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 525 - 535, September 2003.
A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 26 - 32, IEEE Computer Society, June 2003. ISBN: 0-7695-1943-1
A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems
Berichte aus der Informatik, IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
2002
Eine wiederverwendungsorientierte Entwurfsmethodik für IMA-Systeme basierend auf Methoden der künstlichen Intelligenz
IN Proc. des Kongresses der Deutschen Gesellschaft für Luft- und Raumfahrt (DGLR), September 2002.
2002
Optimierung des Konfigurierers im Entwurfssystem RODOS
TU Chemnitz, Fakultät für Informatik, Professur Rechnersysteme, D-09107 Chemnitz, Deutschland, February 2002.
Seiten: 1