Practical Verification of Railway Signalling Programs (2023)

First Author: Iliasov A, Taylor D, Laibinis L, Romanovsky A

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/s50m-py51

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

Type: Other