A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems

Benjamin Beichler, Thorsten Schulz, Christian Haubelt, Frank Golatowski. A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems. In Christian Berger 0001, Mohammad Reza Mousavi, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings. Volume 9361 of Lecture Notes in Computer Science, pages 56-66, Springer, 2015. [doi]

Authors

Benjamin Beichler

This author has not been identified. Look up 'Benjamin Beichler' in Google

Thorsten Schulz

This author has not been identified. Look up 'Thorsten Schulz' in Google

Christian Haubelt

This author has not been identified. Look up 'Christian Haubelt' in Google

Frank Golatowski

This author has not been identified. Look up 'Frank Golatowski' in Google