Using the Event Coordination Notation for Validation

Ekkart Kindler, Petur Ingi Egilsson, Lom Messan Hillah

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

88 Downloads (Pure)
Original languageEnglish
Title of host publicationAlgorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018
EditorsRobert Lorenz, Johannes Metzger
Publication date2018
Pages13-20
Publication statusPublished - 2018
Event2018 Algorithms and Tools for Petri Nets
- Augsburg University, Augsburg, Germany
Duration: 11 Oct 201812 Oct 2018

Conference

Conference2018 Algorithms and Tools for Petri Nets
LocationAugsburg University
Country/TerritoryGermany
CityAugsburg
Period11/10/201812/10/2018

Cite this