Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012)

Huhn, Michaela; Gerken, Stefan; Rudolph, Carsten (2012): Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012). Software Engineering 2012. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-292-5. pp. 198-200. Regular Research Papers. Berlin. 27. Februar - 2. März 2012