June 2018 – FormbaR

FormbaR presented at the 2nd Scientific Railway Signalling Symposium (SRSS’18)

June 15, 2018 Eduard Kamburjan 0

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 […]