Using the Event Coordination Notation for Validation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Using the Event Coordination Notation for Validation

Ekkart Kindler
  • Fonction : Auteur
Pétur Ingi Egilsson
  • Fonction : Auteur
Fichier principal
Vignette du fichier
awpn18-lorenz-metzger-OPUS.pdf (1.47 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03565053 , version 1 (10-02-2022)

Identifiants

  • HAL Id : hal-03565053 , version 1

Citer

Ekkart Kindler, Pétur Ingi Egilsson, Lom Messan Hillah. Using the Event Coordination Notation for Validation. Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Oct 2018, Augsburg, Germany. pp.13-20. ⟨hal-03565053⟩
61 Consultations
21 Téléchargements

Partager

More