![]() |
| 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 | Jürgen Cleve | [1] |
| 3 | R. Förster | [1] |
| 4 | H. Hauff | [1] |
| 5 | Dieter Hutter | [1] |
| 6 | P. Kejwal | [1] |
| 7 | D. Loevenich | [1] |
| 8 | Wolfgang Reif | [1] |
| 9 | Claus Sengler | [1] |
| 10 | Werner Stephan | [1] |
| 11 | Markus Ullmann | [1] |
| 12 | Andreas Wolpers | [1] |