[ZH09] A. Zechner, and M. Huhn
Structural Analysis of Safety Case Arguments in a Model-based Development Environment
Tagungsband Modellbasierte Enwicklung eingebetteter Systeme V (MBEES 09), 2009
[HHZ08] M. Hagner, M. Huhn, and A. Zechner
Timing Analysis Using The MARTE Profile In The Design Of Rail Automation Systems.
4th European Congress on Embedded Realtime Software (ERTS 08), 2008 Details
[HFZG07] M. Huhn, B. Florentz, A. Zechner, and S. Gerken
Using Architecture Exploration in the Development of an Automated Train Operation Platform.
Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 07), 2007, 326-340 Details
[HHZ07] M. Hagner, M. Huhn, and A. Zechner
Ansätze zur effizienten Analyse von Qualitätsattributen im modellbasierten Entwurf in der Bahn-Domäne.
Workshop "`Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung"' der Software Engineering Konferenz, 2007 Details
sse-tubs.de