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