A refinement-based development of a distributed signalling system

DOI10.1007/S00165-021-00567-YOpenAlexW3205938995WikidataQ130857311 ScholiaQ130857311MaRDI QIDQ2065545

Alexander Romanovsky, Yamine Ait-Ameur, Fuyuki Ishikawa, Tsutomu Kobayashi, Alexei Iliasov, Paulius Stankaitis

Publication date: 11 January 2022

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00567-y

zbMATH Keywords

distributed resource allocationdistributed railway signallingEvent-B method

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• PRISM
• Rodin
• ProB

This page was built for publication: A refinement-based development of a distributed signalling system