As part of the FormbaR project, Sebastian Schön presented a survey on the usage of formal methods in Transport Engineering at the 2nd Scientific Railway Signalling Symposium (https://www.verkehr.tu-darmstadt.de/bst/bahnsysteme/events_3/srss_4/index.de.jsp), a symposium for railway experts from academia and industry from the German-speaking countries.
Copyright © 2024 | WordPress Theme by MH Themes