A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems (2023)

First Author: Ait-Ameur Y, Bogomolov S, Dupont G, Iliasov A, Romanovsky A, Stankaitis P

Attributed to: STRATA; Layers for Structuring Trustworthy Ambient Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.57711/j3nf-p915

Publication URI: https://eprints.ncl.ac.uk/276165

Type: Other