Vol-3064⫷ Vol-3065 ⫸Vol-3066
urn:nbn:de:0074-3065-0


Vol-3065/paper4_149⫷Vol-3065/paper5_151⫸Vol-3065/paper6_147
Angela Pappagallo

Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems