H. Hauff

According to our database, H. Hauff authored at least 1 paper in 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1993

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, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver

Proceedings of the Verläßliche Informationssysteme, 1993