Month: July 2017

The paper “Deductive Verification of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the International Conference Reliability, Safety and Security of Railway Systems […]