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.
Date: 13 juin 2006
Publication: Communication scientifique ⊕
A propos du projet: FAUST ⊕