Secure Coding als Bindeglied zwischen formalen Ansätzen um Safety in Infrastruktur-kritischen Systemen zu gewährleisten

Köppl, WolfgangRohrmair, GordonMaalej, WalidBrügge, Bernd2020-01-292020-01-292008978-3-88579-216-1https://dl.gi.de/handle/20.500.12116/31545deSecure Coding als Bindeglied zwischen formalen Ansätzen um Safety in Infrastruktur-kritischen Systemen zu gewährleistenText/Conference Paper1617-5468