Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes. Validation of Regulation Documents by Automated Analysis of Formal Models. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
@InProceedings{DBLP:conf:caise:BertBLV06,
Author = {Bert, Didier and Bouquet, Fabrice and Ledru, Yves and Vignes, Sylvie},
Title = {Validation of Regulation Documents by Automated Analysis of Formal Models},
BookTitle = {Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006},
editor = {Laleau, Régine and Lemoine, Michel},
Volume = {241},
Series = {CEUR Workshop Proceedings},
Publisher = {CEUR-WS.org},
Year = {2007}
}
Get EndNote Reference (.ref)