Konferenzartikel bei F-IDE’19 angenommen
Das Paper “Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability” von Eduard Kamburjan und Jonas Stromberg wurde beim Workshop on […]
Artikel von Eduard Kamburjan
FormbaR beim 7th Symposium of the European Association for Research in Transportation
Im Rahmen von FormbaR hat Sebastian Schön ein Poster beim hEART’18 vorgestellt.
FormbaR beim SRSS
Im Rahmen von FormbaR hat Sebastian Schön eine Studie über den Nutzen von Formalen Methoden im Transportwesen beim SRSS 2018 vorgestellt.
ABS Workshop 2018
Der 2te Internationale Workshop der ABS Modelierungssprache findet vom 28.05.2018 bis 30.05.2018 am Fachbereich Informatik der Technischen Universität Darmstadt statt und wird vom FormbaR Team […]
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 […]
Vorstellung von FormbaR beim SRSS
FormbaR wurde beim SRSS (http://www.verkehr.tu-darmstadt.de/bs/srss/index.de.jsp) erfolgreich einem Publikum aus Wissenschaft und Industrie präsentiert.