Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

4 Résultats
authFullName_s : Stephane de Belloy
Page :
triés par

Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques

 Philippe Dhaussy , Pierre-Yves Pillain , Dominique Kerjean , Stephane de Belloy , Arnaud Du Sorbier et al.
Journée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France
Communication dans un congrès hal-00517224v1

Un langage de contexte de preuve pour la validation formelle de modèles logiciels

 Philippe Dhaussy , Julien Auvray , Stephane de Belloy , Frédéric Boniol , Eric Landel et al.
conférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne
Communication dans un congrès hal-00517275v1

Using context descriptions and property definition patterns for software formal verification

 Philippe Dhaussy , Frédéric Boniol , Stephane de Belloy , Julien Auvray , Eric Landel et al.
ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
Communication dans un congrès hal-00517276v1

Expérimentation de composants de preuve pour le développement de composants logiciels embarqués

 Arnaud Du Sorbier , Stephane de Belloy , Florian Turpin , Philippe Dhaussy
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2008, 85
Article dans une revue hal-00517279v1
Page :