Filtrer vos résultats
- 6
- 5
- 8
- 1
- 1
- 1
- 1
- 11
- 1
- 1
- 2
- 2
- 3
- 1
- 3
- 11
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 11
- 10
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
Model Based Engineering for the support of Models of Computation: The Cometa ApproachInternational Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
Communication dans un congrès
hal-00635594v1
|
|||
An approach for describing concurrency and communication of heterogeneous systemsBM-FA'11, Jun 2011, Birmingham, United Kingdom
Communication dans un congrès
hal-01156533v1
|
|||
A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of ComputationSLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Communication dans un congrès
hal-00912574v1
|
|||
L'IDM, un levier pour l'intégration d'outils : l'approche iFESTGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.10-15
Article dans une revue
hal-00677183v1
|
|||
|
From system-level models to heterogeneous embedded systemsRITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
Communication dans un congrès
hal-00771758v1
|
||
Enhance the reusability of Models and their Behavioral correctnessMODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
Communication dans un congrès
hal-00912587v1
|
|||
A Formal, Model-driven Design Flow for System Simulation and Multi-core ImplementationSIES 2015, University of Siegen, Jun 2015, Siegen, Germany
Communication dans un congrès
hal-01156537v1
|
|||
|
Model Federation in toolchainsMODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès
hal-00914367v1
|
||
|
A framework for the definition of a system model MoC-based semantics in the context of tool integrationEmbedded Systems. Université de Bretagne occidentale - Brest, 2014. English. ⟨NNT : 2014BRES0067⟩
Thèse
tel-03258224v1
|
||
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès
hal-01087442v1
|
||
|
Operational Semantics of the Model of Concurrency and Communication Language[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport
hal-01060601v2
|