Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation


hal-03408698v1  Communication dans un congrès
Frédéric JouaultValentin SebilleValentin BesnardThéo Le CalvarCiprian Teodorov et al.  AnimUML as a UML Modeling and Verification Teaching Tool
MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
hal-02931876v1  Communication dans un congrès
Frédéric JouaultValentin BesnardThéo Le CalvarCiprian TeodorovMatthias Brun et al.  Designing, Animating, and Verifying Partial UML Models
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩