Modelling Hybrid Train Speed Controller using Proof and Refinement

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]