Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung

Hungar, HardiReyzl, ErwinMaalej, WalidBrügge, Bernd2020-01-292020-01-292008978-3-88579-216-1https://dl.gi.de/handle/20.500.12116/31539deSoftware-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und ZertifizierungText/Conference Paper1617-5468