No Cover Image

Conference Paper/Proceeding/Abstract 1279 views 387 downloads

Verification of Solid State Interlocking Programs

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

Software Engineering and Formal Methods, Volume: 8368

Swansea University Authors: Phillip James Orcid Logo, Anton Setzer Orcid Logo

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: 2014
URI: https://cronfa.swan.ac.uk/Record/cronfa19414
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2014-11-26T02:56:34Z
last_indexed 2019-07-17T20:12:24Z
id cronfa19414
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-07-17T14:52:29.6323402</datestamp><bib-version>v2</bib-version><id>19414</id><entry>2014-11-20</entry><title>Verification of Solid State Interlocking Programs</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><author><sid>5f7695285397f46d121207120247c2ae</sid><ORCID>0000-0001-5322-6060</ORCID><firstname>Anton</firstname><surname>Setzer</surname><name>Anton Setzer</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2014-11-20</date><deptcode>SCS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Software Engineering and Formal Methods</journal><volume>8368</volume><paginationEnd>268</paginationEnd><publisher/><isbnPrint>978-3-319-05031-7978-3-319-05032-4</isbnPrint><keywords/><publishedDay>8</publishedDay><publishedMonth>3</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-03-08</publishedDate><doi>10.1007/978-3-319-05032-4_19</doi><url/><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:52:29.6323402</lastEdited><Created>2014-11-20T19:01:09.8970292</Created><authors><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>1</order></author><author><firstname>Andy</firstname><surname>Lawrence</surname><order>2</order></author><author><firstname>Faron</firstname><surname>Moller</surname><order>3</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><order>4</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><order>5</order></author><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><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><document><filename>0019414-09112016114500.pdf</filename><originalFilename>fmRailBookPublishedVersionPreprintByJames.pdf</originalFilename><uploaded>2016-11-09T14:56:07.4500000</uploaded><type>Output</type><contentLength>352628</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2014-03-08T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-07-17T14:52:29.6323402 v2 19414 2014-11-20 Verification of Solid State Interlocking Programs fd3b15ff96c5ea91a100131abac558b6 0000-0002-4307-649X Phillip James Phillip James true false 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2014-11-20 SCS Conference Paper/Proceeding/Abstract Software Engineering and Formal Methods 8368 268 978-3-319-05031-7978-3-319-05032-4 8 3 2014 2014-03-08 10.1007/978-3-319-05032-4_19 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-07-17T14:52:29.6323402 2014-11-20T19:01:09.8970292 Phillip James 0000-0002-4307-649X 1 Andy Lawrence 2 Faron Moller 3 Markus Roggenbach 4 Monika Seisenberger 5 Anton Setzer 0000-0001-5322-6060 6 Karim Kanso 7 Simon Chadwick 8 0019414-09112016114500.pdf fmRailBookPublishedVersionPreprintByJames.pdf 2016-11-09T14:56:07.4500000 Output 352628 application/pdf Accepted Manuscript true 2014-03-08T00:00:00.0000000 true
title Verification of Solid State Interlocking Programs
spellingShingle Verification of Solid State Interlocking Programs
Phillip James
Anton Setzer
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 fd3b15ff96c5ea91a100131abac558b6
5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv fd3b15ff96c5ea91a100131abac558b6_***_Phillip James
5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Phillip James
Anton Setzer
author2 Phillip James
Andy Lawrence
Faron Moller
Markus Roggenbach
Monika Seisenberger
Anton Setzer
Karim Kanso
Simon Chadwick
format Conference Paper/Proceeding/Abstract
container_title Software Engineering and Formal Methods
container_volume 8368
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
document_store_str 1
active_str 0
published_date 2014-03-08T03:22:47Z
_version_ 1763750725701074944
score 11.013148

Similar Items