Using the Event Coordination Notation for Validation - Sorbonne Université
Conference Papers Year : 2018

Using the Event Coordination Notation for Validation

Ekkart Kindler
  • Function : Author
Pétur Ingi Egilsson
  • Function : Author
Lom Messan Hillah
Modélisation et Vérification
Université Paris Nanterre

Domains

Software Engineering [cs.SE]
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)

Lom Messan HILLAH  : Connect in order to contact the contributor

https://hal.sorbonne-universite.fr/hal-03565053

Submitted on : Thursday, February 10, 2022-5:28:47 PM

Last modification on : Saturday, October 7, 2023-9:36:22 PM

Long-term archiving on : Wednesday, May 11, 2022-7:08:56 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES UNIV-PARIS-NANTERRE
45 View
17 Download

Share

More