|
[ABD+23]
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander Romanovsky and Paulius Stankaitis.
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems.
Formal Aspects of Computing.
2023.
[Presents a formal development methodology for railway signalling systems, including the use of PRISM for probabilistic verification.]
|
|
Links:
[Google]
[Google Scholar]
|