Auflistung nach Autor "Hausmann, Daniel"
Anzeige der Dokumente 1-1 von 1
-
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung
Frese, Udo; Hausmann, Daniel; Lüth, Christoph; Täubig, Holger; Walter, Dennis
335-338
- Startseite
- Auflistung nach Autor