Tagungen und Workshops

Automotive Tagung 2006

Automotive - Safety & Security 2006
www.automotive2006.de
Sicherheit und Zuverlässigkeit für automobile Informationstechnik
12. -13. Oktober 2006, Stuttgart

Ada Deutschland Tagung 2004

Ada Deutschland Tagung 2004 - Zuverlässige Softwaresysteme
Stuttgart, 7. - 8. Oktober 2004
Tagungsband: ist im Shaker Verlag erschienen
Vorträge (Folien, bitte beachten Sie das Copyright)

Workshop Ada und sichere Systeme im Kontext UML und MDA

Frankfurt, 29.09.2003
Teiltagung Sicherheit - Schutz und Zuverlässigkeit (im Rahmen der Informatik 2003)

Vorträge

Das Raven MDA Profil für die Modellierung sicherheitskritischer Systeme
Klaus Wachsmuth, Aonix [pdf]

A Snapshop of Ada 0Y
Erhard Plödereder, Universität Stuttgart

Ada und sichere Systeme - 2002

Jena, 6. - 8. März 2002 Tagungsband: Jürgen F. H. Winkler, Peter Dencker, Hubert B. Keller, Michael Tonndorf (Hrsg.)
Ada Deutschland Tagung 2002 - Ada und sichere Systeme, (ISBN 3-8265-9956-X) Shaker Verlag

Ada und Software-Qualität - 2001

27. / 28. März 2001, München Tagungsband: Peter Dencker, Hubert B. Keller, Herbert Klenk, Michael Tonndorf (Hrsg.)
Ada und Software-Qualität, (ISBN 3-8265-9245-X) Shaker Verlag

Seiten

Subscribe to RSS - Tagungen und Workshops