Examens corriges

La validation de modèles Event-B avec le plug-in ProB pour RODIN

Event-B now spurs the RODIN platform, which is based on Eclipse and can be extended via plug-ins. In this paper, we present two such plug-ins; one for ...



Télécharger