Einreichung “Uniform Modeling of Railway Operations” zum Workshop FTSCS’16 akzeptiert

Die Einreichung des Forschungsbeitrags “Uniform Modeling of Railway Operations” von Eduard Kamburjan und Reiner Hähnle zum  Fünften Internationalen Workshop über Formale Techniken für Sicherheitskritische Systeme wurde akzeptiert und wird im November in Tokyo präsentiert.