Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

  • Vollständige Referenz
  • BibTeX
Frese, U., Hausmann, D., Lüth, C., Täubig, H. & Walter, D., (2008). Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. In: Maalej, W. & Brügge, B. (Hrsg.), Software Engineering 2008. Bonn: Gesellschaft für Informatik e. V.. (S. 335-338).
@inproceedings{mci/Frese2008,
author = {Frese, Udo AND Hausmann, Daniel AND Lüth, Christoph AND Täubig, Holger AND Walter, Dennis},
title = {Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung},
booktitle = {Software Engineering 2008},
year = {2008},
editor = {Maalej, Walid AND Brügge, Bernd} ,
pages = { 335-338 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
335-338.pdf153.8Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-216-1
ISSN: 1617-5468
Datum: 2008
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige