Einreichung “Deductive Verification of Railway Operations” zur Konferenz RSSRail’17 akzeptiert

Die Einreichung des Forschungsbeitrags “Deductive Verification of Railway Operations” von Eduard Kamburjan und Reiner Hähnle zur “International Conference Reliability, Safety and Security of Railway Systems” wurde akzeptiert und wird im November in Pistoia präsentiert.