18 September 2019

Our paper “Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B” has been accepted to the International Journal on Software Tools for Technology Transfer

Our paper “Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B” has been accepted to the International Journal on Software Tools for Technology Transfer