Michaela Huhn, Stefan Gerken, Carsten Rudolph. Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). In Stefan Jähnichen, Axel Küpper, Sahin Albayrak, editors, Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. Volume 198 of LNI, pages 198-200, GI, 2012. [doi]
Abstract is missing.