A Refinement-based compiler development for synchronous languages - oatao
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience
PDF) Spécification et vérification des systèmes temps réel réactifs en B | Miloud Rached - Academia.edu
Aînés du Méridien : un nouveau bureau - Saint-Exupéry-les-Roches (19200)
Titouan Bodeveix - Chargé de communication digitale - Lahaye Global Logistics | LinkedIn
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
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment
Soutenance de thèse
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
THÈSE Mohamed El-Habib Messabihi
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
From AADL to Timed Abstract State Machines: A Verified Model Transformation
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
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
Du nouveau pour Lous Esclos - Saint-Exupéry-les-Roches (19200)
Master Informatique
A comparative study of FIACRE and TASM to define AADL real time concepts
Master Informatique
Lightweight formal architecture specification
Résultats de la recherche | Moodle UT3 - Paul Sabatier
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel: retour d'expérience