Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01887948
Contributor : Nathalie Renois <>
Submitted on : Thursday, October 4, 2018 - 3:47:22 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:52 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

155