Validation of Regulation Documents by Automated Analysis of Formal Models.

Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes

Browse the full CaiSE paper archive.