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

@inproceedings{pub1618,
    author = {

Ullmann, Markus
 and 

Hauff, M.
 and 

Loevenich, Peter
 and 

Baur, Peter
 and 

Göhner, Peter
 and 

Kejwal, Peter
 and 

Reif, Wolfgang
 and 

Stephan, Werner
 and 

Hutter, Dieter
 and 

Sengler, Claus
 and 

Cleve, Jürgen
},
    title = {VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien},
    booktitle = {Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3., May 11-13, München, Germany},
    series = {DuD-Fachbeiträge},
    year = {1993},
    volume = {16},
    publisher = {Springer},
    isbn = {978-3-528-05344-4}
}