Month: October 2016

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  […]