Assembling Contracts for Components - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Assembling Contracts for Components

Fabrice Legond-Aubry
  • Fonction : Auteur
  • PersonId : 964568
Daniel Enselme
  • Fonction : Auteur
Gérard Florin
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-01531064 , version 1 (01-06-2017)

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⟩
23 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More