Browsing by Author "Hungar, Hardi"
Now showing items 1-5 of 5
-
Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme"
Hungar, Hardi; Reyzl, Erwin
345-349 -
Opening up the verification and validation of safety-critical software
Hungar, Hardi; Behrens, Marc
483-491 -
Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision
Hungar, Hardi
339-340