No Cover Image

Conference contribution 206 views

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude / Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger

Formal Techniques for Safety-Critical Systems, Volume: 596

Swansea University Author: James, Phillip

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

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:
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa37083
Tags: Add Tag
No Tags, Be the first to tag this record!
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:27Z</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><alternativeTitle></alternativeTitle><author>Phillip James</author><firstname>Phillip</firstname><surname>James</surname><active>true</active><ORCID>0000-0002-4307-649X</ORCID><ethesisStudent>false</ethesisStudent><sid>fd3b15ff96c5ea91a100131abac558b6</sid><email>3a0088bfdee64d91702947ffc587b337</email><emailaddr>ykSD0Eur7b6hoXfBy2yDjggr5y2nBRz3haj4DmVVDsQ=</emailaddr><date>2017-11-27</date><deptcode>SCS</deptcode><abstract></abstract><type>Conference contribution</type><journal>Formal Techniques for Safety-Critical Systems</journal><volume>596</volume><journalNumber/><paginationStart/><paginationEnd>120</paginationEnd><publisher></publisher><placeOfPublication/><isbnPrint>978-3-319-29509-1</isbnPrint><isbnElectronic>978-3-319-29510-7</isbnElectronic><issnPrint>1865-0929</issnPrint><issnElectronic>1865-0937</issnElectronic><keywords></keywords><publishedDay>0</publishedDay><publishedMonth>0</publishedMonth><publishedYear>0</publishedYear><publishedDate>0001-01-01</publishedDate><doi>10.1007/978-3-319-29510-7_6</doi><url></url><notes></notes><college>College of Science</college><department>Computer Science</department><CollegeCode>CSCI</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename>None</degreename><lastEdited>2017-12-12T10:28:27Z</lastEdited><Created>2017-11-27T11:36:32Z</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><authors><author><firstname>Phillip</firstname><surname>James</surname><orcid/><order>1</order></author><author><firstname>Andrew</firstname><surname>Lawrence</surname><orcid/><order>2</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid/><order>3</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><orcid/><order>4</order></author></authors><documents/></rfc1807>
spelling 2017-12-12T10:28:27Z v2 37083 2017-11-27 Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude Phillip James Phillip James true 0000-0002-4307-649X false fd3b15ff96c5ea91a100131abac558b6 3a0088bfdee64d91702947ffc587b337 ykSD0Eur7b6hoXfBy2yDjggr5y2nBRz3haj4DmVVDsQ= 2017-11-27 SCS Conference contribution Formal Techniques for Safety-Critical Systems 596 120 978-3-319-29509-1 978-3-319-29510-7 1865-0929 1865-0937 0 0 0 0001-01-01 10.1007/978-3-319-29510-7_6 College of Science Computer Science CSCI SCS None None 2017-12-12T10:28:27Z 2017-11-27T11:36:32Z College of Science Computer Science Phillip James 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
James, Phillip
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_***_James, Phillip
author James, Phillip
author2 Phillip James
Andrew Lawrence
Markus Roggenbach
Monika Seisenberger
format Conference contribution
container_title Formal Techniques for Safety-Critical Systems
container_volume 596
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
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
document_store_str 0
active_str 1
published_date 0001-01-01T14:56:20Z
_version_ 1645293528200249344
score 11.300013