No Cover Image

Conference Paper/Proceeding/Abstract 71 views

Visualising Railway Safety Verification / Filippos Pantekis; Phillip James; Liam O'Reilly; Daniel Archambault; Faron Moller

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, Liam, O'Reilly, Daniel, Archambault, Faron, Moller

  • Accepted Manuscript under embargo until: 26th April 2021
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