No Cover Image

Conference Paper/Proceeding/Abstract 1359 views

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude

Phillip James Orcid Logo, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Formal Techniques for Safety-Critical Systems, Volume: 596

Swansea University Author: Phillip James Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/978-3-319-29510-7_6

Published in: Formal Techniques for Safety-Critical Systems
ISBN: 978-3-319-29509-1 978-3-319-29510-7
ISSN: 1865-0929 1865-0937
Published: 2016
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa37083
first_indexed 2017-11-27T14:09:50Z
last_indexed 2018-02-09T05:30:06Z
id cronfa37083
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2017-12-12T10:28:27.6841188</datestamp><bib-version>v2</bib-version><id>37083</id><entry>2017-11-27</entry><title>Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude</title><swanseaauthors><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></swanseaauthors><date>2017-11-27</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Formal Techniques for Safety-Critical Systems</journal><volume>596</volume><paginationEnd>120</paginationEnd><publisher/><isbnPrint>978-3-319-29509-1</isbnPrint><isbnElectronic>978-3-319-29510-7</isbnElectronic><issnPrint>1865-0929</issnPrint><issnElectronic>1865-0937</issnElectronic><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-12-31</publishedDate><doi>10.1007/978-3-319-29510-7_6</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2017-12-12T10:28:27.6841188</lastEdited><Created>2017-11-27T11:36:32.0105453</Created><authors><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>1</order></author><author><firstname>Andrew</firstname><surname>Lawrence</surname><order>2</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><order>3</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><order>4</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2017-12-12T10:28:27.6841188 v2 37083 2017-11-27 Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude fd3b15ff96c5ea91a100131abac558b6 0000-0002-4307-649X Phillip James Phillip James true false 2017-11-27 MACS Conference Paper/Proceeding/Abstract Formal Techniques for Safety-Critical Systems 596 120 978-3-319-29509-1 978-3-319-29510-7 1865-0929 1865-0937 31 12 2016 2016-12-31 10.1007/978-3-319-29510-7_6 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2017-12-12T10:28:27.6841188 2017-11-27T11:36:32.0105453 Phillip James 0000-0002-4307-649X 1 Andrew Lawrence 2 Markus Roggenbach 3 Monika Seisenberger 4
title Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
spellingShingle Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
Phillip James
title_short Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
title_full Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
title_fullStr Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
title_full_unstemmed Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
title_sort Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
author_id_str_mv fd3b15ff96c5ea91a100131abac558b6
author_id_fullname_str_mv fd3b15ff96c5ea91a100131abac558b6_***_Phillip James
author Phillip James
author2 Phillip James
Andrew Lawrence
Markus Roggenbach
Monika Seisenberger
format Conference Paper/Proceeding/Abstract
container_title Formal Techniques for Safety-Critical Systems
container_volume 596
publishDate 2016
institution Swansea University
isbn 978-3-319-29509-1
978-3-319-29510-7
issn 1865-0929
1865-0937
doi_str_mv 10.1007/978-3-319-29510-7_6
document_store_str 0
active_str 0
published_date 2016-12-31T04:12:01Z
_version_ 1851727252575748096
score 11.090464

Similar Items