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
Matthias Brun
  • Fonction : Auteur
  • PersonId : 882892
Frédéric Jouault
Ciprian Teodorov
Philippe Dhaussy
  • Fonction : Auteur
  • PersonId : 1010394
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⟩
109 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More