DGLR-Publikationsdatenbank - Detailansicht
Titel:
Methoden für Test und Verifikation flugkritischer Software mit Hilfe von bodengebundenen Systemprüfständen
Autor(en):
A. Bauer, H. Hessel
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, 8 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.101-108; 1983; Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., Bonn
Preis:
NA
ISBN:
ISSN:
Kommentar:
Klassifikation:
Stichworte zum Inhalt:
complex systems, digital systems, reliability, systems engineering, adaptation, computer systems programs, program verification (computers), security
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"