Login / Signup
Michael Meyer zu Hörste
ORCID
Publication Activity (10 Years)
Years Active: 1999-2016
Publications (10 Years): 1
Top Topics
Vehicle Detection
Web Intelligence
High Speed
Genetic Algorithm
Top Venues
Nets4Cars/Nets4Trains/Nets4Aircraft
</>
Publications
</>
Michael Meyer zu Hörste
,
Andreas Kluge
,
Tobias Frankiewicz
Rail2X: Demonstration of Vehicle2X Technologies for Rail-Related Applications.
Nets4Cars/Nets4Trains/Nets4Aircraft
(2016)
Eckehard Schnieder
,
Mourad Chouikha
,
Stefan Einer
,
Michael Meyer zu Hörste
BASYSNET - An Integrated Approach for Automated Control System Development.
Petri Net Technology for Communication-Based Systems
(2003)
Michael Meyer zu Hörste
,
Eckehard Schnieder
Modeling train control systems with Petri nets-a functional reference-architecture.
SMC
(2000)
Michael Meyer zu Hörste
,
Eckehard Schnieder
Formal Modelling and Simulation of Train Control Systems Using Petri Nets.
World Congress on Formal Methods
(1999)