Deviational Analyses for Validating Regulations on Real Systems.

Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark

Browse the full CaiSE paper archive.