Logo des Repositoriums
 
Konferenzbeitrag

Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2008

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e. V.

Zusammenfassung

Beschreibung

Lüth, Christoph (2008): Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. Software Engineering 2008. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-216-1. pp. 341-342. Regular Research Papers. München. 18.-22.2.2008

Schlagwörter

Zitierform

DOI

Tags