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
FormbaR wurde auf dem 15-ten KeY Symposium (http://www.key-project.org/keysymposium16) erfolgreich einem äußerst interessiertem internationalem Publikum präsentiert.
Das Paper “Towards Incremental Validation of Railway Systems” von Reiner Hähnle und Radu Muschevici wurde bei der Konferenz 7th International Symposium On Leveraging Applications of Formal Methods, Verification and […]
Das Kick-Off Treffen zum Projektstart findet am 17. Juni, 2016 statt. Wo: B002 im Piloty Gebäude (S2|02) Wann: 13 Uhr Weiter Details folgen in Kürze.
Copyright © 2024 | WordPress Theme von MH Themes