Using the Event Coordination Notation for Validation - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Using the Event Coordination Notation for Validation

Ekkart Kindler
  • Function : Author
Pétur Ingi Egilsson
  • Function : Author
Fichier principal
Vignette du fichier
awpn18-lorenz-metzger-OPUS.pdf (1.47 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03565053 , version 1

Cite

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⟩
18 View
8 Download

Share

Gmail Facebook X LinkedIn More