Paper Accepted at FTSCS’16

The paper “Uniform Modeling of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the Fifth International Workshop on Formal Techniques for Safety-Critical Systems  and will be presented in November in Tokyo, Japan.