No Cover Image

Book chapter 912 views

Verification of Solid State Interlocking Programs

Phillip James, Andy Lawrence, Faron Moller Orcid Logo, Markus Roggenbach, Monika Seisenberger Orcid Logo, Anton Setzer, Karim Kanso, Simon Chadwick

Software Engineering and Formal Methods, Volume: 8368, Pages: 253 - 268

Swansea University Authors: Faron Moller Orcid Logo, Monika Seisenberger Orcid Logo

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

DOI (Published version): 10.1007/978-3-319-05032-4_19

Published in: Software Engineering and Formal Methods
ISBN: 978-3-319-05031-7978-3-319-05032-4
Published: Springer 2014
URI: https://cronfa.swan.ac.uk/Record/cronfa19511
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2015-11-08T01:44:15Z
last_indexed 2019-07-17T20:12:41Z
id cronfa19511
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-07-17T14:49:55.8440314</datestamp><bib-version>v2</bib-version><id>19511</id><entry>2014-11-25</entry><title>Verification of Solid State Interlocking Programs</title><swanseaauthors><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><author><sid>d035399b2b324a63fe472ce0344653e0</sid><ORCID>0000-0002-2226-386X</ORCID><firstname>Monika</firstname><surname>Seisenberger</surname><name>Monika Seisenberger</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2014-11-25</date><deptcode>SCS</deptcode><abstract/><type>Book chapter</type><journal>Software Engineering and Formal Methods</journal><volume>8368</volume><paginationStart>253</paginationStart><paginationEnd>268</paginationEnd><publisher>Springer</publisher><isbnPrint>978-3-319-05031-7978-3-319-05032-4</isbnPrint><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-12-31</publishedDate><doi>10.1007/978-3-319-05032-4_19</doi><url/><notes></notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-07-17T14:49:55.8440314</lastEdited><Created>2014-11-25T00:01:36.1312116</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Phillip</firstname><surname>James</surname><order>1</order></author><author><firstname>Andy</firstname><surname>Lawrence</surname><order>2</order></author><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>3</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><order>4</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><orcid>0000-0002-2226-386X</orcid><order>5</order></author><author><firstname>Anton</firstname><surname>Setzer</surname><order>6</order></author><author><firstname>Karim</firstname><surname>Kanso</surname><order>7</order></author><author><firstname>Simon</firstname><surname>Chadwick</surname><order>8</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2019-07-17T14:49:55.8440314 v2 19511 2014-11-25 Verification of Solid State Interlocking Programs bf25e0b52fe7c11c473cc48d306073f7 0000-0001-9535-8053 Faron Moller Faron Moller true false d035399b2b324a63fe472ce0344653e0 0000-0002-2226-386X Monika Seisenberger Monika Seisenberger true false 2014-11-25 SCS Book chapter Software Engineering and Formal Methods 8368 253 268 Springer 978-3-319-05031-7978-3-319-05032-4 31 12 2014 2014-12-31 10.1007/978-3-319-05032-4_19 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-07-17T14:49:55.8440314 2014-11-25T00:01:36.1312116 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Phillip James 1 Andy Lawrence 2 Faron Moller 0000-0001-9535-8053 3 Markus Roggenbach 4 Monika Seisenberger 0000-0002-2226-386X 5 Anton Setzer 6 Karim Kanso 7 Simon Chadwick 8
title Verification of Solid State Interlocking Programs
spellingShingle Verification of Solid State Interlocking Programs
Faron Moller
Monika Seisenberger
title_short Verification of Solid State Interlocking Programs
title_full Verification of Solid State Interlocking Programs
title_fullStr Verification of Solid State Interlocking Programs
title_full_unstemmed Verification of Solid State Interlocking Programs
title_sort Verification of Solid State Interlocking Programs
author_id_str_mv bf25e0b52fe7c11c473cc48d306073f7
d035399b2b324a63fe472ce0344653e0
author_id_fullname_str_mv bf25e0b52fe7c11c473cc48d306073f7_***_Faron Moller
d035399b2b324a63fe472ce0344653e0_***_Monika Seisenberger
author Faron Moller
Monika Seisenberger
author2 Phillip James
Andy Lawrence
Faron Moller
Markus Roggenbach
Monika Seisenberger
Anton Setzer
Karim Kanso
Simon Chadwick
format Book chapter
container_title Software Engineering and Formal Methods
container_volume 8368
container_start_page 253
publishDate 2014
institution Swansea University
isbn 978-3-319-05031-7978-3-319-05032-4
doi_str_mv 10.1007/978-3-319-05032-4_19
publisher Springer
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2014-12-31T03:24:04Z
_version_ 1757322196621983744
score 10.928277