![]() | ![]() |
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] |