Deviational Analyses for Validating Regulations on Real Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

Identified as Fiona A. C. Polack This author has not been identified. Look up 'Thitima Srivatanakul' in GoogleThis author has not been identified. Look up 'Tim Kelly' in GoogleThis author has not been identified. Look up 'John A. Clark' in Google

runs on WebDSL