( en | de | ru )

 

Disambiguation of "Babau, Jean-Philippe"

Author of the publication

copydeleteadd this publication to your clipboard
Formalisation de la recontextualisation de modèles par graphe de dépendance.

, , and . Technique et Science Informatiques, 34 (6): 637-666 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean-Philippe Kohl

Jean-Philippe Dubus

Gérard Jean-Philippe

Jean-Philippe Haumesser

Jean-Philippe Leresche

 

Other publications of authors with the same name

Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel.. (2005)Detecting wormhole attacks in wireless networks using local neighborhood information., , and . PIMRC, page 1-5. IEEE, (2008)Object Oriented Design for Real-Time Systems-Response to C. E. Pereira's Contribution.. Real Time Syst., 18 (1): 95-99 (2000)Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink., , , , and . MODELSWARD, page 279-286. SCITEPRESS, (2020)Temporal validation of Real Time multitasking applications based on communicating timed automata., , and . FDL, page 578-586. ECSI, (2004)Formalisation de la recontextualisation de modèles par graphe de dépendance., , and . Technique et Science Informatiques, 34 (6): 637-666 (2015)Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models., , , , and . SAC, page 1654-1657. ACM, (2020)CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function., , , and . FDL, page 1-8. IEEE, (2021)Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development., and . CSE (2), page 514-519. IEEE Computer Society, (2009)QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System., , and . ISORC, page 42-50. IEEE Computer Society, (2018)