Specifying and verifying the behavior of telecommunications services

Jean-François Dauchez Marie-Pierre Gervais 1
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-01574449
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 3:26:55 PM
Last modification on : Thursday, March 21, 2019 - 2:39:06 PM

Identifiers

  • HAL Id : hal-01574449, version 1

Citation

Jean-François Dauchez, Marie-Pierre Gervais. Specifying and verifying the behavior of telecommunications services. 6th international conference on intelligence in Networks (ICIN '2000), Jan 2000, Arcachon, France. 6th international conference on intelligence in Networks (ICIN '2000), pp.210-214. 〈hal-01574449〉

Share

Metrics

Record views

20