ISSE

Search

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

M. Ullmann, Hauff, Loevenich, P. Baur, P. Göhner, P. Kejwal, W. Reif, W. Stephan, D. Hutter, C. Sengler, and E. Canver

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

published 1993 in: München, Germany 3. GI-Fachtagung Verläßliche Informationssysteme VIS. Proceedings