Conference Paper/Proceeding/Abstract 745 views 168 downloads
Visualising Railway Safety Verification
Filippos Pantekis,
Phillip James 
,
Liam O'Reilly ,
Daniel Archambault ,
Faron Moller
,
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
-
PDF | Accepted Manuscript
Download (465.33KB)
DOI (Published version): 10.1007/978-3-030-46902-3_6
Abstract
Visualising Railway Safety Verification
| 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 |