Vol-3712⫷ Vol-3713 ⫸Vol-3714
urn:nbn:de:0074-3713-0


Vol-3713/paper-1⫷Vol-3713/paper-2⫸Vol-3713/paper-3
Roberto CasaluceAndrea BurratinFrancesca ChiaromonteAndrea VandinAlberto Lluch-Lafuente

Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining