Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer. Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 97-106, IEEE, 2019. [doi]
@inproceedings{ButlerDHOSFSTFT19,
title = {Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3},
author = {Michael J. Butler and Dana Dghaym and Thai Son Hoang and Tope Omitola and Colin F. Snook and Andreas Fellner and Rupert Schlick and Thorsten Tarrach and Tomas Fischer and Peter Tummeltshammer},
year = {2019},
doi = {10.1109/ICECCS.2019.00018},
url = {https://doi.org/10.1109/ICECCS.2019.00018},
researchr = {https://researchr.org/publication/ButlerDHOSFSTFT19},
cites = {0},
citedby = {0},
pages = {97-106},
booktitle = {24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019},
editor = {Jun Pang 0001 and Jing Sun 0002},
publisher = {IEEE},
isbn = {978-1-7281-4646-1},
}