ESVW - Evaluierung von Software-Verifikationsmethoden und -werkzeugen : Schlussbericht = Early results from characterizing veification tools through coding error candidates reported in space flight software

ESVW - Evaluierung von Software-Verifikationsmethoden und -werkzeugen Schlussbericht = Early results from characterizing veification tools through coding error candidates reported in space flight software

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: BSSE System and Software Engineering (Herausgebendes Organ)
Weitere Verfasser: Gerlich, Rainer (MitwirkendeR)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: Immenstaad BSSE System and Software Engineering 28.06.2016
Ausgabe:Version: 1
Schlagworte:
Forschungsbericht
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Förderkennzeichen BMWi 50 PS 1502
Paralleltitel dem englischen Berichtsblatt entnommen
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Beschreibung:12 Blätter, 2 ungezählte Blätter