 |
|
|
||
|---|---|---|
| hal-00771758v1
Communication dans un congrès
From system-level models to heterogeneous embedded systems RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX |
||
| hal-01156537v1
Communication dans un congrès
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany |
||
| hal-01156533v1
Communication dans un congrès
An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom |
||
| hal-00912574v1
Communication dans un congrès
A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States |
||
| hal-00912587v1
Communication dans un congrès
Enhance the reusability of Models and their Behavioral correctness MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States |
||
| hal-00914367v1
Communication dans un congrès
Model Federation in toolchains MODELS 2013, Sep 2013, Miami, United States |
||
| hal-01087442v1
Communication dans un congrès
Towards a Meta-Language for the Concurrency Concern in DSLs Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France |
||
| hal-01060601v2
Rapport
Operational Semantics of the Model of Concurrency and Communication Language [Research Report] RR-8584, INRIA. 2014, pp.23 |
||
|
|
||