1993 | ||
---|---|---|
1 | Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver: VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS 1993: 175-190 |
1 | P. Baur | [1] |
2 | E. Canver | [1] |
3 | Jürgen Cleve | [1] |
4 | R. Förster | [1] |
5 | H. Hauff | [1] |
6 | Dieter Hutter | [1] |
7 | P. Kejwal | [1] |
8 | Wolfgang Reif | [1] |
9 | Claus Sengler | [1] |
10 | Werner Stephan | [1] |
11 | Markus Ullmann | [1] |
12 | Andreas Wolpers | [1] |