A Formal Semantics for Traffic Sequence Charts

Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow. A Formal Semantics for Traffic Sequence Charts. In Marten Lohstroh, Patricia Derler, Marjan Sirjani, editors, Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Volume 10760 of Lecture Notes in Computer Science, pages 182-205, Springer, 2018. [doi]

Authors

Werner Damm

This author has not been identified. Look up 'Werner Damm' in Google

Eike Möhlmann

This author has not been identified. Look up 'Eike Möhlmann' in Google

Thomas Peikenkamp

This author has not been identified. Look up 'Thomas Peikenkamp' in Google

Astrid Rakow

This author has not been identified. Look up 'Astrid Rakow' in Google