 |
 |
 |
 |
|
|
|
|
| HAL : hal-00458115, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
|
|
| Vérification de conformité des interactions entre composants |
|
|
| Pascal André 1Gilles Ardourel 1 |
|
|
| (2005) |
|
|
|
| no abstract |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
| 2 : | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : FRE2729 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Génie logiciel |
| hal-00458115, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00458115 | |
| oai:hal.archives-ouvertes.fr:hal-00458115 | |
| Contributeur : Lina Hal | |
| Déposé pour le compte de : | |
| Soumis le : Vendredi 19 Février 2010, 12:39:03 | |
| Dernière modification le : Vendredi 19 Février 2010, 12:39:03 | |
