W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures

von Sultan, Bastien
Veröffentlicht in MODELSWARD (Veranstaltung : 9. : 2021 : Online) Model-Driven engineering and software development (2023)