| 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 OpenAlex |