A refinement-based development of a distributed signalling system
type: Item
instance of: scholarly article
title: A refinement-based development of a distributed signalling system
author: Paulius Stankaitis
author: Alexei Iliasov
author: Tsutomu Kobayashi
author: Yamine Ait-Ameur
author: Fuyuki Ishikawa
author: Alexander Romanovsky
published in: Formal Aspects of Computing
publication date: 2022-01-11T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7455777
zbMATH Keywords: distributed railway signalling
zbMATH Keywords: distributed resource allocation
zbMATH Keywords: Event-B method
describes a project that uses: PRISM
describes a project that uses: Rodin
describes a project that uses: ProB
MaRDI profile type: Publication
full work available at URL: s00165-021-00567-y
OpenAlex ID: W3205938995
Wikidata QID: Q130857311
DOI: 10.1007/S00165-021-00567-Y
description: scientific article; zbMATH DE number 7455777