Fiona A. C. Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark. Deviational Analyses for Validating Regulations on Real Systems. In Régine Laleau, Michel Lemoine, editors, Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V 06, Luxemburg, June 5-9, 2006. Volume 241 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
No reviews for this publication, yet.