ACI Sécurité 2004 : FIACRE - Fiabilité des Assemblages de Composants Répartis - Models and Tools for Safety and Security Ana
![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/maxresdefault.jpg)
TLA+ validation of Chord - Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali - YouTube
![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/273067340/figure/fig2/AS:294696162217985@1447272448420/Graphical-representation-of-the-NPL-component_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
![Programmation en C++: Amazon.co.uk: Bodeveix, Jean-Paul, Filali, Mamoun, Sayah, Amal: 9782729604776: Books Programmation en C++: Amazon.co.uk: Bodeveix, Jean-Paul, Filali, Mamoun, Sayah, Amal: 9782729604776: Books](https://m.media-amazon.com/images/I/5107KJF6NVL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Programmation en C++: Amazon.co.uk: Bodeveix, Jean-Paul, Filali, Mamoun, Sayah, Amal: 9782729604776: Books
![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/278625547/figure/fig1/AS:668923414454273@1536495178047/Execution-states-and-actions-of-an-AADL-SOM-transition-1-AADL-oldSOM-mode-change_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
![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/TP3SY0EUV2A/hqdefault.jpg)
TLA+ validation of Chord - Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali - YouTube
![Towards formalising AADL in Proof Assistants – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub. Towards formalising AADL in Proof Assistants – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.](https://cyberleninka.org/viewer_images/893996/f/1.png)