Anzahl: 5 10 25 50 100 Alle
Seiten: 1
2007
A Formal Fault Model for Component-based Models of Embedded Systems
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
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
Analyse und Bewertung von Konfigurationen im Entwurfssystem RODOS
TU Chemnitz, Fakultät für Informatik, Professur Rechnersysteme, D-09107 Chemnitz, Deutschland, February 2002.
Seiten: 1