DGLR-Publikationsdatenbank - Detailansicht
Titel:
Softwareverifikation aus Sicht BMVg-Rü IV6 und Vorstellungen für die Zukunft
Autor(en):
W. Fraedrich
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, 26 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.9-34; 1983; Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., Bonn
Preis:
NA
ISBN:
ISSN:
Kommentar:
Klassifikation:
Stichworte zum Inhalt:
digital systems, avionics, conferences, data processing, digital techniques, program verification (computers), software engineering, words (language)
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"