Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda. Towards Automatic Design and Verification for Level 3 of the European Train Control System. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021. pages 974-979, IEEE, 2021. [doi]
@inproceedings{WillePPP21,
title = {Towards Automatic Design and Verification for Level 3 of the European Train Control System},
author = {Robert Wille and Tom Peham and Judith Przigoda and Nils Przigoda},
year = {2021},
doi = {10.23919/DATE51398.2021.9473935},
url = {https://doi.org/10.23919/DATE51398.2021.9473935},
researchr = {https://researchr.org/publication/WillePPP21},
cites = {0},
citedby = {0},
pages = {974-979},
booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021},
publisher = {IEEE},
isbn = {978-3-9819263-5-4},
}