No Cover Image

Book Chapter 428 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: Seisenberger, Monika

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

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
Published: Springer 2016
URI: https://cronfa.swan.ac.uk/Record/cronfa29041
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2016-07-04T03:29:58Z
last_indexed 2018-02-09T05:13:47Z
id cronfa29041
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2017-07-19T10:43:19Z</datestamp><bib-version>v2</bib-version><id>29041</id><entry>2016-07-04</entry><title>Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude</title><alternativeTitle></alternativeTitle><author>Monika Seisenberger</author><firstname>Monika</firstname><surname>Seisenberger</surname><active>true</active><ORCID>0000-0002-2226-386X</ORCID><ethesisStudent>false</ethesisStudent><sid>d035399b2b324a63fe472ce0344653e0</sid><email>d4d1274132e61ce7a5453ae2a115dad1</email><emailaddr>YwmdOdQu2J4sdz3Ttys+FMXSD9apmhwp34LCq09fig8=</emailaddr><date>2016-07-04</date><deptcode>SCS</deptcode><abstract></abstract><type>Chapter in book</type><journal>Formal Techniques for Safety-Critical Systems</journal><volume>596</volume><journalNumber/><paginationStart/><paginationEnd/><publisher>Springer</publisher><placeOfPublication/><isbnPrint>978-3-319-29509-1</isbnPrint><isbnElectronic>978-3-319-29510-7</isbnElectronic><issnPrint/><issnElectronic/><keywords></keywords><publishedDay>0</publishedDay><publishedMonth>0</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-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-07-19T10:43:19Z</lastEdited><Created>2016-07-04T00:05:28Z</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-07-19T10:43:19Z v2 29041 2016-07-04 Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude Monika Seisenberger Monika Seisenberger true 0000-0002-2226-386X false d035399b2b324a63fe472ce0344653e0 d4d1274132e61ce7a5453ae2a115dad1 YwmdOdQu2J4sdz3Ttys+FMXSD9apmhwp34LCq09fig8= 2016-07-04 SCS Chapter in book Formal Techniques for Safety-Critical Systems 596 Springer 978-3-319-29509-1 978-3-319-29510-7 0 0 2016 2016-01-01 10.1007/978-3-319-29510-7_6 College of Science Computer Science CSCI SCS None None 2017-07-19T10:43:19Z 2016-07-04T00:05:28Z 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
Seisenberger, Monika
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 d035399b2b324a63fe472ce0344653e0
author_id_fullname_str_mv d035399b2b324a63fe472ce0344653e0_***_Seisenberger, Monika
author Seisenberger, Monika
author2 Phillip James
Andrew Lawrence
Markus Roggenbach
Monika Seisenberger
format Book Chapter
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
doi_str_mv 10.1007/978-3-319-29510-7_6
publisher Springer
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 2016-01-01T04:42:41Z
_version_ 1647701038137868288
score 10.860162