Coupling Software Agent Technology and Formal Methods for the Production of Telecommunication Services - Archive ouverte HAL
Communication Dans Un Congrès Année : 1997

Coupling Software Agent Technology and Formal Methods for the Production of Telecommunication Services

Marie-Pierre Gervais
  • Fonction : Auteur
  • PersonId : 961875
Nicolas Ruffel
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-01629215 , version 1 (06-11-2017)

Identifiants

  • HAL Id : hal-01629215 , version 1

Citer

Marie-Pierre Gervais, Nicolas Ruffel. Coupling Software Agent Technology and Formal Methods for the Production of Telecommunication Services. IEEE International Workshop on Quality and Productivity for Communications, May 1997, Ojai Valley, United States. ⟨hal-01629215⟩
43 Consultations
0 Téléchargements

Partager

More