Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 3 > >>
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.
Seiten: 1 2 3 > >>