| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter |
| Titel: |
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung |
| Buch / Sammlungs-Titel: |
Software Engineering 2008 |
| Serie / Reihe: |
Lecture Notes in Informatics |
| Erscheinungsjahr: |
2008 |
| Verleger: |
GI |
| PDF Version: |
http://www.informatik.uni-bremen.de/~cxl/papers/softzert08.pdf |
| Schlagworte: |
sams |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
13. 03. 2008 |
