Communication Dans Un Congrès
Année : 2003
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01531064
Soumis le : jeudi 1 juin 2017-11:13:44
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01531064 , version 1
Citer
Fabrice Legond-Aubry, Daniel Enselme, Gérard Florin. Assembling Contracts for Components. Formal Methods for Open Object-based Distributed Systems (FMOODS-DAIS), Nov 2003, Paris, France. ⟨hal-01531064⟩
Collections
38
Consultations
0
Téléchargements