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