VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
Markus UllmannH. HauffD. LoevenichP. KejwalR. FörsterP. BaurWolfgang ReifWerner StephanAndreas WolpersJürgen CleveDieter HutterClaus SenglerE. CanverPublished in: VIS (1993)