| |
| 2008 | ||
|---|---|---|
| 1 | Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Taubig, Dennis Walter: Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) 2008: 335-338 | |
| 1 | Udo Frese | [1] |
| 2 | Daniel Hausmann | [1] |
| 3 | Christoph Lüth | [1] |
| 4 | Dennis Walter | [1] |