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