Coupling Software Agent Technology and Formal Methods for the Production of Telecommunication Services - Archive ouverte HAL Accéder directement au contenu
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
Systèmes répartis et coopératifs
Nicolas Ruffel
  • Fonction : Auteur

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01629215

Soumis le : lundi 6 novembre 2017-10:44:53

Dernière modification le : mardi 11 avril 2023-15:16:28

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
28 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More