A refinement-based formal development of cyber-physical railway signalling systems

Yamine Aït-ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander Romanovsky, Paulius Stankaitis
January, 2023
Cite DOI URL
Type
Journal article
Publication
Form. Asp. Comput.