Auflistung nach Autor "Gerken, Stefan"
Anzeige der Dokumente 1-4 von 4
-
CeMoSS – Certification and model-driven development of safe and secure software
Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten
207-208 -
GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen
Werner, Patrick; Gerken, Stefan; Huhn, Michaela
163-174 -
ZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer Software
Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten
367-367 -
Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012)
Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten
198-200