No Cover Image

Conference Paper/Proceeding/Abstract 872 views 190 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

Check full text

DOI (Published version): 10.1007/978-3-030-46902-3_6

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!
first_indexed 2020-01-17T04:38:59Z
last_indexed 2020-07-23T19:14:58Z
id cronfa53283
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2020-07-23T15:23:57.0459592</datestamp><bib-version>v2</bib-version><id>53283</id><entry>2020-01-16</entry><title>Visualising Railway Safety Verification</title><swanseaauthors><author><sid>7e3976bc926b363ee1346c423ba74d11</sid><firstname>Filippos</firstname><surname>Pantekis</surname><name>Filippos Pantekis</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>fd3b15ff96c5ea91a100131abac558b6</sid><ORCID>0000-0002-4307-649X</ORCID><firstname>Phillip</firstname><surname>James</surname><name>Phillip James</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>5eca7cf79b7384130a1feef384d90508</sid><ORCID>0000-0002-4894-2158</ORCID><firstname>Liam</firstname><surname>O'Reilly</surname><name>Liam O'Reilly</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>8fa6987716a22304ef04d3c3d50ef266</sid><ORCID>0000-0003-4978-8479</ORCID><firstname>Daniel</firstname><surname>Archambault</surname><name>Daniel Archambault</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>bf25e0b52fe7c11c473cc48d306073f7</sid><ORCID>0000-0001-9535-8053</ORCID><firstname>Faron</firstname><surname>Moller</surname><name>Faron Moller</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2020-01-16</date><deptcode>SCS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science.</journal><volume>1165</volume><paginationStart>95</paginationStart><paginationEnd>105</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030469016</isbnPrint><isbnElectronic>9783030469023</isbnElectronic><issnPrint>1865-0929</issnPrint><issnElectronic>1865-0937</issnElectronic><keywords/><publishedDay>26</publishedDay><publishedMonth>4</publishedMonth><publishedYear>2020</publishedYear><publishedDate>2020-04-26</publishedDate><doi>10.1007/978-3-030-46902-3_6</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2020-07-23T15:23:57.0459592</lastEdited><Created>2020-01-16T19:31:49.5727467</Created><authors><author><firstname>Filippos</firstname><surname>Pantekis</surname><order>1</order></author><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>2</order></author><author><firstname>Liam</firstname><surname>O'Reilly</surname><orcid>0000-0002-4894-2158</orcid><order>3</order></author><author><firstname>Daniel</firstname><surname>Archambault</surname><orcid>0000-0003-4978-8479</orcid><order>4</order></author><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>5</order></author></authors><documents><document><filename>53283__16336__0fba9e83f85a4e4a90b130c03d3e328d.pdf</filename><originalFilename>ftscs19.pdf</originalFilename><uploaded>2020-01-16T19:37:27.0988716</uploaded><type>Output</type><contentLength>476493</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2021-04-26T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2020-07-23T15:23:57.0459592 v2 53283 2020-01-16 Visualising Railway Safety Verification 7e3976bc926b363ee1346c423ba74d11 Filippos Pantekis Filippos Pantekis true false fd3b15ff96c5ea91a100131abac558b6 0000-0002-4307-649X Phillip James Phillip James true false 5eca7cf79b7384130a1feef384d90508 0000-0002-4894-2158 Liam O'Reilly Liam O'Reilly true false 8fa6987716a22304ef04d3c3d50ef266 0000-0003-4978-8479 Daniel Archambault Daniel Archambault true false bf25e0b52fe7c11c473cc48d306073f7 0000-0001-9535-8053 Faron Moller Faron Moller true false 2020-01-16 SCS Conference Paper/Proceeding/Abstract Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science. 1165 95 105 Springer International Publishing Cham 9783030469016 9783030469023 1865-0929 1865-0937 26 4 2020 2020-04-26 10.1007/978-3-030-46902-3_6 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2020-07-23T15:23:57.0459592 2020-01-16T19:31:49.5727467 Filippos Pantekis 1 Phillip James 0000-0002-4307-649X 2 Liam O'Reilly 0000-0002-4894-2158 3 Daniel Archambault 0000-0003-4978-8479 4 Faron Moller 0000-0001-9535-8053 5 53283__16336__0fba9e83f85a4e4a90b130c03d3e328d.pdf ftscs19.pdf 2020-01-16T19:37:27.0988716 Output 476493 application/pdf Accepted Manuscript true 2021-04-26T00:00:00.0000000 true eng
title Visualising Railway Safety Verification
spellingShingle Visualising Railway Safety Verification
Filippos Pantekis
Phillip James
Liam O'Reilly
Daniel Archambault
Faron Moller
title_short Visualising Railway Safety Verification
title_full Visualising Railway Safety Verification
title_fullStr Visualising Railway Safety Verification
title_full_unstemmed Visualising Railway Safety Verification
title_sort Visualising Railway Safety Verification
author_id_str_mv 7e3976bc926b363ee1346c423ba74d11
fd3b15ff96c5ea91a100131abac558b6
5eca7cf79b7384130a1feef384d90508
8fa6987716a22304ef04d3c3d50ef266
bf25e0b52fe7c11c473cc48d306073f7
author_id_fullname_str_mv 7e3976bc926b363ee1346c423ba74d11_***_Filippos Pantekis
fd3b15ff96c5ea91a100131abac558b6_***_Phillip James
5eca7cf79b7384130a1feef384d90508_***_Liam O'Reilly
8fa6987716a22304ef04d3c3d50ef266_***_Daniel Archambault
bf25e0b52fe7c11c473cc48d306073f7_***_Faron Moller
author Filippos Pantekis
Phillip James
Liam O'Reilly
Daniel Archambault
Faron Moller
author2 Filippos Pantekis
Phillip James
Liam O'Reilly
Daniel Archambault
Faron Moller
format Conference Paper/Proceeding/Abstract
container_title Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science.
container_volume 1165
container_start_page 95
publishDate 2020
institution Swansea University
isbn 9783030469016
9783030469023
issn 1865-0929
1865-0937
doi_str_mv 10.1007/978-3-030-46902-3_6
publisher Springer International Publishing
document_store_str 1
active_str 0
published_date 2020-04-26T04:06:10Z
_version_ 1763753454786838528
score 11.037581

Similar Items