Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard 1 Matthias Brun 1 Frédéric Jouault 1 Ciprian Teodorov 2 Philippe Dhaussy 2
2 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01887948
Contributeur : Nathalie Renois <>
Soumis le : jeudi 4 octobre 2018 - 15:47:22
Dernière modification le : mercredi 24 juin 2020 - 16:19:52

Identifiants

  • HAL Id : hal-01887948, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

154