Auflistung nach Autor "Reyzl, Erwin" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-3 von 3

«
»

Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme"

Hungar, Hardi; Reyzl, Erwin
345-349
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung

Hungar, Hardi; Reyzl, Erwin
291-294
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung

Hungar, Hardi; Reyzl, Erwin
299-302

Anzeige der Dokumente 1-3 von 3

«
»