Using CPN-AMI to validate a safe channel protocol

Fabrice Kordon 1 Emmanuel Paviot-Adet 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01574368
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 11:38:50 AM
Last modification on : Thursday, March 21, 2019 - 1:01:03 PM

Identifiers

  • HAL Id : hal-01574368, version 1

Citation

Fabrice Kordon, Emmanuel Paviot-Adet. Using CPN-AMI to validate a safe channel protocol. Toolset of the International Conference on Theory and Applications of Petri Nets, Jun 1999, Williamsburg, Virginia, United States. ⟨hal-01574368⟩

Share

Metrics

Record views

38