A refinement-based development of a distributed signalling system

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

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065545)