Vol-3903⫷ Vol-3904 ⫸Vol-3905
urn:nbn:de:0074-3904-0


Vol-3904/paper1⫷Vol-3904/paper2⫸Vol-3904/paper3

On Optimizing Simulation-Based Verification of Cyber-Physical Systems via Statistical Model Checking: a Preliminary Work