No Cover Image

Conference Paper/Proceeding/Abstract 372 views 116 downloads

Visualising Railway Safety Verification

Filippos Pantekis, Phillip James Orcid Logo, Liam O'Reilly Orcid Logo, Daniel Archambault Orcid Logo, Faron Moller Orcid Logo

Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science., Volume: 1165, Pages: 95 - 105

Swansea University Authors: Filippos Pantekis, Phillip James Orcid Logo, Liam O'Reilly Orcid Logo, Daniel Archambault Orcid Logo, Faron Moller Orcid Logo

Published in: Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science.
ISBN: 9783030469016 9783030469023
ISSN: 1865-0929 1865-0937
Published: Cham Springer International Publishing 2020
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa53283
Tags: Add Tag
No Tags, Be the first to tag this record!
Start Page: 95
End Page: 105