Qualifizierung integrierter Werkzeugumgebungen für die Erstellung sicherheitsrelevanter Software in Kernkraftwerken

Horst Miedl, Josef Märtz. Qualifizierung integrierter Werkzeugumgebungen für die Erstellung sicherheitsrelevanter Software in Kernkraftwerken. In Ammar Alkassar, Jörg H. Siekmann, editors, Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss. Volume 128 of LNI, pages 589-593, GI, 2008.

Authors

Horst Miedl

This author has not been identified. Look up 'Horst Miedl' in Google

Josef Märtz

This author has not been identified. Look up 'Josef Märtz' in Google