|
||
---|---|---|
hal-01802247v1
Communication dans un congrès
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France |
||
hal-01887948v1
Communication dans un congrès
Unified LTL Verification and Embedded Execution of UML Models 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark |
||
|