CeMoSS – Certification and model-driven development of safe and secure software

Huhn, MichaelaGerken, StefanRudolph, CarstenHasselbring, WilhelmEhmke, Nils Christian2020-01-072020-01-072014978-388579-621-3https://dl.gi.de/handle/20.500.12116/31007enCeMoSS – Certification and model-driven development of safe and secure softwareText/Conference Paper1617-5468