Unified LTL Verification and Embedded Execution of UML Models - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
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 : mercredi 7 février 2024-08:54:46

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 INSTITUT-TELECOM ENSTA-BRETAGNE CNRS ENSTA-BRETAGNE-STIC LAB-STICC_UBO ENIB LAB-STICC ESEO-TECH ESEO-ERIS
110 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More