From post

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.

 

Другие публикации лиц с тем же именем

Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel.. (2005)Object Oriented Design for Real-Time Systems-Response to C. E. Pereira's Contribution.. Real Time Syst., 18 (1): 95-99 (2000)Detecting wormhole attacks in wireless networks using local neighborhood information., , и . PIMRC, стр. 1-5. IEEE, (2008)Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink., , , , и . MODELSWARD, стр. 279-286. SCITEPRESS, (2020)Temporal validation of Real Time multitasking applications based on communicating timed automata., , и . FDL, стр. 578-586. ECSI, (2004)Formalisation de la recontextualisation de modèles par graphe de dépendance., , и . 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., , , , и . SAC, стр. 1654-1657. ACM, (2020)CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function., , , и . FDL, стр. 1-8. IEEE, (2021)Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development., и . CSE (2), стр. 514-519. IEEE Computer Society, (2009)Extension of Scheduling Algorithms in Case of Conditional or Parametric Synchronisation Relationships., и . RTS, стр. 64-69. IEEE Computer Society, (1996)