Conference paper
Using the Event Coordination Notation for Validation
Language: | English |
---|---|
Year: | 2018 |
Pages: | 13-20 |
Proceedings: | 2018 Algorithms and Tools for Petri Nets <br/> |
Types: | Conference paper |
ORCIDs: | Kindler, Ekkart |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Conference paper
Language: | English |
---|---|
Year: | 2018 |
Pages: | 13-20 |
Proceedings: | 2018 Algorithms and Tools for Petri Nets <br/> |
Types: | Conference paper |
ORCIDs: | Kindler, Ekkart |
Analysis