VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. - Markus Ullmann; H. Hauff; D. Loevenich; P. Kejwal; R. Förster; P. Baur; Wolfgang Reif; Werner Stephan 001; Andreas Wolpers; Jürgen Cleve; Dieter Hutter; Claus Sengler; et al. (VIS, 1993)