Validation of Regulation Documents by Automated Analysis of Formal Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes. Validation of Regulation Documents by Automated Analysis of Formal Models. 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]

This author has not been identified. Look up 'Didier Bert' in GoogleThis author has not been identified. Look up 'Fabrice Bouquet' in GoogleThis author has not been identified. Look up 'Yves Ledru' in GoogleThis author has not been identified. Look up 'Sylvie Vignes' in Google

runs on WebDSL