![Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile - Page 2 Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile - Page 2](https://www.researchgate.net/profile/Jean-Paul-Bodeveix/publication/220878116/figure/fig1/AS:339964844888084@1458065343888/The-arrival_Q320.jpg)
Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile - Page 2
![Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile](https://www.researchgate.net/profile/Jean-Paul-Bodeveix/publication/261258343/figure/fig5/AS:296689270312965@1447747642479/figure-fig5_Q320.jpg)
Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile
![Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile](https://www.researchgate.net/profile/Jean-Paul-Bodeveix/publication/265070925/figure/fig1/AS:295934601777157@1447567715687/GALS-systems_Q320.jpg)
Jean-paul BODEVEIX | Institut de Recherche en Informatique de Toulouse, Toulouse | Assistance à la Certification d'Applications DIstribuées et Embarquées Team (ACADIE) | Research profile
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience
![TLA+ validation of Chord - Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali - YouTube TLA+ validation of Chord - Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali - YouTube](https://i.ytimg.com/vi/_ZWajD9rrcg/sddefault.jpg)