DGLR-Publikationsdatenbank - Detailansicht
Titel:
Einsatz formaler Sprachen bei der Entwicklung sicherheitsrelevanter Software-Systeme am Beispiel der Entwicklung einer Brennersteuerung mit der SDL-Entwicklungsumgebung GEODE
Autor(en):
R. Faller, J. Windpassinger
Zusammenfassung:
Veranstaltung:
Symposium DGLR-Fachausschuß Software Enineering, Stuttgart, 1995
Medientyp:
Conference Presentation
Sprache:
deutsch
Format:
21,0 x 29,7 cm, 19 Seiten
Veröffentlicht:
DGLR-Bericht, 1995, 1995-04, Entwurf hochzuverlässiger Software in der Praxis; S.3-1 - 3-21; 1995; Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., Bonn
Preis:
NA
ISBN:
ISSN:
Kommentar:
Vortrag mit eigener Zählung
Klassifikation:
Stichworte zum Inhalt:
software engineering
Verfügbarkeit:
Bestellbar
Veröffentlicht:
1995
Dieses Dokument ist Teil einer übergeordneten Publikation:
Entwurf hochzuverlässiger Software in der Praxis