Jeanine Souquieres And NotModélisation
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000263 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France] | Développement formel par composants : Assemblage et vérification à l'aide de B |
| 000264 | Inès Mouakher [France] ; Jeanine Souquieres [France] ; Francis Alexandre [France] | Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants |
| 000333 | NINH THUAN TRUONG [France] ; Jeanine Souquieres [France] | Verification of UML model elements using B : Software Engineering and Software |
| 000631 | Maritta Heisel [Allemagne] ; Jeanine Souquieres [France] | Adding features to component-based systems |
| 000765 | Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquieres [France] | Toward a formal model of software components |
| 000817 | HUNG LEDANG [France] ; Jeanine Souquieres [France] | Contributions for modelling UML state-charts in B |
| This area was generated with Dilib version V0.6.33. |  |