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]

Authors

Paulius Stankaitis

This author has not been identified. Look up 'Paulius Stankaitis' in Google

Guillaume Dupont

This author has not been identified. Look up 'Guillaume Dupont' in Google

Neeraj Kumar Singh

This author has not been identified. Look up 'Neeraj Kumar Singh' in Google

Yamine Aït Ameur

This author has not been identified. Look up 'Yamine Aït Ameur' in Google

Alexei Iliasov

This author has not been identified. Look up 'Alexei Iliasov' in Google

Alexander B. Romanovsky

This author has not been identified. Look up 'Alexander B. Romanovsky' in Google