2008 | ||
---|---|---|
2 | EE | Inès Mouakher, Jeanine Souquières, Francis Alexandre: Protocol Verification in a Software Component-Based Approach. ECBS 2008: 136-145 |
1 | EE | Inès Mouakher, Jeanine Souquières, Francis Alexandre: Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. L'OBJET 14(4): 11-42 (2008) |
1 | Francis Alexandre | [1] [2] |
2 | Jeanine Souquières | [1] [2] |