Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
Dominik HansenMichael LeuschelPhilipp KörnerSebastian KringsThomas NaulinNader NayeriDavid SchneiderFrank SkowronPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases