Unified LTL Verification and Embedded Execution of UML Models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard
ESEO-ÉRIS
CV
Matthias Brun
  • Fonction : Auteur
  • PersonId : 882892
ESEO-ÉRIS
Frédéric Jouault
ESEO-ÉRIS
CV
Ciprian Teodorov
Lab-STICC_ENSTAB_ CACS_MOCS
CV
Philippe Dhaussy
  • Fonction : Auteur
  • PersonId : 1010394
Lab-STICC_ENSTAB_ CACS_MOCS

Domaines

Génie logiciel [cs.SE]

Nathalie Renois  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01887948

Soumis le : jeudi 4 octobre 2018-15:47:22

Dernière modification le : mardi 27 août 2024-12:49:22

Fichier non déposé

Dates et versions

hal-01887948 , version 1 (04-10-2018)

Identifiants

  • HAL Id : hal-01887948 , version 1

Citer

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models. 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark. ⟨hal-01887948⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST ENSTA-BRETAGNE CNRS ENSTA-BRETAGNE-STIC LAB-STICC_UBO ENIB LAB-STICC ESEO-TECH ESEO-ERIS
124 Consultations
0 Téléchargements

Partager

More