Publikation

VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

Markus Ullmann, M. Hauff, Peter Loevenich, Peter Baur, Peter Göhner, Peter Kejwal, Wolfgang Reif, Werner Stephan, Dieter Hutter, Claus Sengler, Jürgen Cleve

In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen 3. May 11-13 München Germany DuD-Fachbeiträge 16 ISBN 978-3-528-05344-4 Springer 1993.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence