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

Marie-Pierre Gervais 1 Nicolas Ruffel
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01629215
Contributor : Lip6 Publications <>
Submitted on : Monday, November 6, 2017 - 10:44:53 AM
Last modification on : Thursday, March 21, 2019 - 2:39:03 PM

Identifiers

  • HAL Id : hal-01629215, version 1

Citation

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. IEEE International Workshop on Quality and Productivity for Communications. 〈hal-01629215〉

Share

Metrics

Record views

40