A Formal Semantics for Traffic Sequence Charts
Title | A Formal Semantics for Traffic Sequence Charts |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow |
Conference Name | Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday |
URL | https://doi.org/10.1007/978-3-319-95246-8\_11 |
DOI | 10.1007/978-3-319-95246-8\_11 |
Citation Key | DBLP:conf/birthday/DammMPR18 |