Validating the Design of Dependable Systems.

Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi

Browse the full ISORC paper archive.