Accéder directement au contenu

Jeanine Souquières

3
Documents

Présentation

souquieres

Publications

830098

Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants

 Inès Mouakher , Jeanine Souquières , Francis Alexandre
RTSI - L'Objet, 2008, 14, pp.11--42
Article dans une revue hal-00343182v1

Protocol Verification in a Software Component-Based Approach

 Inès Mouakher , Jeanine Souquières , Francis Alexandre
15th annual IEEE International Conference on the Engineering of Computer Based Systems, Mar 2008, Belfast, Ireland. 10 p
Communication dans un congrès hal-00185002v1

Protocol verification in a software component approach

 Inès Mouakher , Francis Alexandre , Jeanine Souquières
2007
Autre publication scientifique hal-00182262v1