Modelling Hybrid Train Speed Controller using Proof and Refinement.

Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine At Ameur, Alexei Iliasov, Alexander B. Romanovsky

Browse the full ICECCS paper archive.