AnimUML as a UML Modeling and Verification Teaching Tool - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne

Communication Dans Un Congrès Année : 2021

AnimUML as a UML Modeling and Verification Teaching Tool

(1) , , (1) , (2) , (3, 4) , (1) , (1)

1
2
3
4

Frédéric Jouault

Fonction : Auteur
PersonId : 3646
IdHAL : frederic-jouault
ORCID : 0000-0002-2395-9623
IdRef : 110218140

ESEO-ÉRIS

Valentin Sebille

Fonction : Auteur

Valentin Besnard

Fonction : Auteur
PersonId : 21611
IdHAL : valentin-besnard

ESEO-ÉRIS

Théo Le Calvar

Fonction : Auteur
PersonId : 173385
IdHAL : theo-le-calvar
ORCID : 0000-0003-2273-2053

Laboratoire des Sciences du Numérique de Nantes

Ciprian Teodorov

Fonction : Auteur
PersonId : 9871
IdHAL : ciprian-teodorov
IdRef : 161534058

École Nationale Supérieure de Techniques Avancées Bretagne

Equipe Processes for Safe and Secure Software and Systems

Matthias Brun

Fonction : Auteur
PersonId : 882892

ESEO-ÉRIS

Jérôme Delatour

Fonction : Auteur
PersonId : 3675
IdHAL : jerome-delatour
IdRef : 078026229

ESEO-ÉRIS

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 : vendredi 2 février 2024-09:43:42

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 INSTITUT-TELECOM 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

115 Consultations

0 Téléchargements

Partager