DGLR-Publikationsdatenbank - Detailansicht
Titel:
Verifikation eines Software-Entwurfs unter Verwendung von Werkzeugen, z.B. EPOS
Autor(en):
H.O. Drtil
Zusammenfassung:
Veranstaltung:
DGLR-Symposium "Test und Verifikation von Software bei digitalen Systemen der Luft- und Raumfahrt"; Köln-Porz, 1983
Medientyp:
Conference Paper
Sprache:
deutsch
Format:
14,8 x 21,0 cm, 14 Seiten
Veröffentlicht:
DGLR-Bericht, 1983, 1983-02, Bericht über das DGLR-Symposium "Test und Verifikation von Software bei digitalen Systemen der Luft- und Raumfahrt"; S.137-150; 1983; Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., Bonn
Preis:
NA
ISBN:
ISSN:
Kommentar:
Klassifikation:
Stichworte zum Inhalt:
risk, software engineering
Verfügbarkeit:
Bestellbar
Veröffentlicht:
1983
Dieses Dokument ist Teil einer übergeordneten Publikation:
Bericht über das DGLR-Symposium "Test und Verifikation von Software bei digitalen Systemen der Luft- und Raumfahrt"