Modélisation et vérification de l'interopérabilité de services de télécommunication

Isabelle Vernier 1 Emmanuel Paviot-Adet 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01530452
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 31, 2017 - 5:24:37 PM
Last modification on : Thursday, March 21, 2019 - 1:06:34 PM

Identifiers

  • HAL Id : hal-01530452, version 1

Citation

Isabelle Vernier, Emmanuel Paviot-Adet. Modélisation et vérification de l'interopérabilité de services de télécommunication. Vérification et mise en oeuvre de réseaux de Petri, Hermes Science, pp.233-252, 2003, 2-7462-0445-2. ⟨hal-01530452⟩

Share

Metrics

Record views

49