Huhn, MichaelaGerken, StefanRudolph, CarstenJähnichen, StefanKüpper, AxelAlbayrak, Sahin2018-11-192018-11-192012978-3-88579-292-5https://dl.gi.de/handle/20.500.12116/18358deZertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012)Text/Conference Paper1617-5468