Vol-2986⫷ Vol-2987 ⫸Vol-2988
urn:nbn:de:0074-2987-0


Vol-2987/paper9⫷Vol-2987/paper10⫸Vol-2987/paper11
Angela Pappagallo

Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems