|
[SIK+21]
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Fuyuki Ishikawa and Alexander Romanovsky.
A refinement-based development of a distributed signalling system.
Formal Aspects of Computing.
2021.
[Presents a formal development methodology for railway signalling systems, including the use of PRISM for probabilistic verification.]
|
|
Links:
[Google]
[Google Scholar]
|