Huhn, MichaelaGerken, StefanRudolph, CarstenKowalewski, StefanRumpe, Bernhard2018-10-312018-10-312013978-3-88579-607-7https://dl.gi.de/handle/20.500.12116/17721deZeMoSS-Workshop: Zertifizierung und modellgetriebene Entwicklung sicherer SoftwareText/Conference Paper1617-5468