AnimUML as a UML Modeling and Verification Teaching Tool - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

AnimUML as a UML Modeling and Verification Teaching Tool

Frédéric Jouault
ESEO-ÉRIS
CV
Valentin Sebille
  • Fonction : Auteur
Valentin Besnard
ESEO-ÉRIS
CV
Théo Le Calvar
Laboratoire des Sciences du Numérique de Nantes
CV
Ciprian Teodorov
École Nationale Supérieure de Techniques Avancées Bretagne
Equipe Processes for Safe and Secure Software and Systems
CV
Matthias Brun
  • Fonction : Auteur
  • PersonId : 882892
ESEO-ÉRIS
Jérôme Delatour
ESEO-ÉRIS
CV

Domaines

Sciences de l'ingénieur [physics] Informatique [cs]

Anne-Flore Jarry  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03408698

Soumis le : vendredi 29 octobre 2021-12:01:35

Dernière modification le : mardi 27 août 2024-12:53:33

Fichier non déposé

Dates et versions

hal-03408698 , version 1 (29-10-2021)

Identifiants

  • HAL Id : hal-03408698 , version 1

Citer

Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, et al.. AnimUML as a UML Modeling and Verification Teaching Tool. MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619. ⟨hal-03408698⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST UNIV-NANTES ENSTA-BRETAGNE CNRS EC-NANTES ENSTA-BRETAGNE-STIC LAB-STICC_UBO UNAM ENIB LAB-STICC ESEO-TECH LS2N LS2N-NAOMOD ESEO-ERIS LAB-STICC_P4S LAB-STICC_SHARP NANTES-UNIVERSITE
160 Consultations
0 Téléchargements

Partager

More