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.

Date: 13 juin 2006

Publication: Communication scientifique 

Expertises:

Ingénierie des systèmes IT complexes 

Co-création pour le numérique 

A propos du projet: FAUST