From Requirements Models to Formal Specifications in B

From Requirements Models to Formal Specifications in B

C. Ponsard, E. Dieul, From Requirements Models to Formal Specifications in B, in proc. International Workshop on regulations Modelling and their Validation and Verification (REMO2V), Luxembourg, June 2006.