No Image

Paper Accepted at FTSCS’16

October 13, 2016 Eduard Kamburjan 0

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