%0 Conference Paper
%F Oral 
%T Unified LTL Verification and Embedded Execution of UML Models
%+ ESEO-ÉRIS (ÉRIS)
%+ Lab-STICC_ENSTAB_ CACS_MOCS
%A Besnard, Valentin
%A Brun, Matthias
%A Jouault, Frédéric
%A Teodorov, Ciprian
%A Dhaussy, Philippe
%< avec comité de lecture
%B 21st International Conference on Model Driven Engineering Languages and Systems (MODELS)
%C Copenhague, Denmark
%8 2018-10-14
%D 2018
%Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers
%G English
%L hal-01887948
%U https://hal.science/hal-01887948
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ ENIB
%~ LAB-STICC
%~ ESEO-TECH
%~ INSTITUTS-TELECOM
%~ ESEO-ERIS