Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2023 |
Sprache | Englisch |
Identifikator | ISSN: 1433-2779, 1433-2787 KITopen-ID: 1000164028 |
HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
Weitere HGF-Programme | 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems |
Erschienen in | International Journal on Software Tools for Technology Transfer |
Verlag | Springer |
Band | 25 |
Seiten | 733–746 |
Bemerkung zur Veröffentlichung | Foundations for Mastering Change / Special Section: Rigorous Engineering of Collective Adaptive Systems. |
Vorab online veröffentlicht am | 07.11.2023 |
Nachgewiesen in | Dimensions Web of Science Scopus |