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!

Keine Ergebnisse!