Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky. Modelling Hybrid Train Speed Controller using Proof and Refinement. 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 107-113, IEEE, 2019. [doi]
@inproceedings{StankaitisDSAIR19,
title = {Modelling Hybrid Train Speed Controller using Proof and Refinement},
author = {Paulius Stankaitis and Guillaume Dupont and Neeraj Kumar Singh and Yamine Aït Ameur and Alexei Iliasov and Alexander B. Romanovsky},
year = {2019},
doi = {10.1109/ICECCS.2019.00019},
url = {https://doi.org/10.1109/ICECCS.2019.00019},
researchr = {https://researchr.org/publication/StankaitisDSAIR19},
cites = {0},
citedby = {0},
pages = {107-113},
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},
}