Fiacre: an Intermediate Language for Model Verification in the Topcased Environment
THÈSE Mohamed El-Habib Messabihi
Master Informatique
Abstract machine construction through operational semantics refinements - ScienceDirect
A comparative study of FIACRE and TASM to define AADL real time concepts
法国科学院图卢兹计算机研究所Mamoun Filali教授、Jean-Paul Bodeveix 教-新闻网
Programmation en C++ : Bodeveix, Jean-Paul, Filali, Mamoun, Sayah, Amal: Amazon.de: Bücher
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
Van Chan NGO
Jean-Paul Bodeveix
法国科学院图卢兹计算机研究所Mamoun Filali教授、Jean-Paul Bodeveix 教-新闻网
Aînés du Méridien : un nouveau bureau - Saint-Exupéry-les-Roches (19200)
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
PDF) Spécification et vérification des systèmes temps réel réactifs en B | Miloud Rached - Academia.edu
Master Informatique
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel: retour d'expérience
Du nouveau pour Lous Esclos - Saint-Exupéry-les-Roches (19200)
Soutenance séminaire bibliographique | PPT
Analyse de la qualité du code via une approche logique et application à la robotique
COTRE COmposants Temps REel - ppt video online télécharger
Titouan Bodeveix - Chargé de communication digitale - Lahaye Global Logistics | LinkedIn
Lightweight formal architecture specification
