Using the Event Coordination Notation for Validation - Archive ouverte HAL Accéder directement au contenu
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
Lom Messan Hillah
Modélisation et Vérification
Université Paris Nanterre

Domaines

Génie logiciel [cs.SE]
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)

Lom Messan HILLAH  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 10 février 2022-17:28:47

Dernière modification le : samedi 7 octobre 2023-21:36:22

Archivage à long terme le : mercredi 11 mai 2022-19:08:56

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES UNIV-PARIS-NANTERRE
18 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More