Analytisches Verfahren zum Nachweis der Fehlerfreiheit und Zuverlässigkeit von Prozeßrechnersoftware Teil 2 Analyse eines sicherheitstechnisch relevanten Programms

Bibliographische Detailangaben

1. Verfasser:	Rauch, G. (VerfasserIn)
Weitere Verfasser:	Schmeil, U. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Karlsruhe Ges. für Kernforschung 1978
Schriftenreihe:	PDV-Entwicklungsnotizen 110
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!