Visualising Railway Safety Verification
Date first appeared online 26/04/2020
DOI 10.1007/978-3-030-46902-3_6
Authors Pantekis F., James P., O'Reilly L., Archambault D., Moller F.
Journal Name Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science.
Volume 1165

Documents