Michael Meyer zu Hörste

According to our database, Michael Meyer zu Hörste authored at least 4 papers between 1999 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Rail2X: Demonstration of Vehicle2X Technologies for Rail-Related Applications.

Michael Meyer zu Hörste, Andreas Kluge, Tobias Frankiewicz

Proceedings of the Communication Technologies for Vehicles - 10th International Workshop, 2016

2003

BASYSNET - An Integrated Approach for Automated Control System Development.

Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2000

Modeling train control systems with Petri nets-a functional reference-architecture.

Michael Meyer zu Hörste, Eckehard Schnieder

Proceedings of the IEEE International Conference on Systems, 2000

1999

Formal Modelling and Simulation of Train Control Systems Using Petri Nets.

Michael Meyer zu Hörste, Eckehard Schnieder

Proceedings of the FM'99 - Formal Methods, 1999