Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

Frese, Udo; Hausmann, Daniel; Lüth, Christoph; Täubig, Holger; Walter, Dennis (2008): Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering 2008. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-216-1. pp. 335-338. Regular Research Papers. München. 18.-22.2.2008