Auflistung nach Autor:in "Hausmann, Daniel"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragZertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung(Software Engineering 2008, 2008) Frese, Udo; Hausmann, Daniel; Lüth, Christoph; Täubig, Holger; Walter, Dennis