Practical Verification of Railway Signalling Programs (2023)
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