A refinement-based development of a distributed signalling system

DOI10.1007/S00165-021-00567-YMaRDI QIDQ2065545zbMATH OpenOpenAlexWikidataFDO

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)

Copyright license Creative Commons Attribution 4.0 International

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)

Describes a project that uses

Uses Software

• ProB
• Rodin
• PRISM

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)