Vol-3298⫷ Vol-3299 ⫸Vol-3300
urn:nbn:de:0074-3299-0


Vol-3299/Paper02⫷Vol-3299/Paper03⫸Vol-3299/Paper04
Roberto Casaluce

Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract)