Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop (University of Newcastle Technical Report), Decembre 2009.
Date: 1er décembre 2009
Publication: Communication scientifique ⊕
Expertises:
Ingénierie des systèmes IT complexes ⊕
A propos du projet: DEPLOY ⊕
Auteurs
