No Cover Image

Journal article 1019 views 192 downloads

On modelling and verifying railway interlockings: Tracking train lengths

Phillip James Orcid Logo, Faron Moller Orcid Logo, Hoang Nga Nguyen, Markus Roggenbach Orcid Logo, Steve Schneider, Helen Treharne

Science of Computer Programming, Volume: 96, Pages: 315 - 336

Swansea University Authors: Phillip James Orcid Logo, Faron Moller Orcid Logo, Markus Roggenbach Orcid Logo

Published in: Science of Computer Programming
ISSN: 01676423
Published: 2014
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa21769
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2015-05-29T02:08:33Z
last_indexed 2019-07-17T20:19:06Z
id cronfa21769
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-07-17T14:47:06.7092809</datestamp><bib-version>v2</bib-version><id>21769</id><entry>2015-05-28</entry><title>On modelling and verifying railway interlockings: Tracking train lengths</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>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>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-05-28</date><deptcode>SCS</deptcode><abstract/><type>Journal Article</type><journal>Science of Computer Programming</journal><volume>96</volume><paginationStart>315</paginationStart><paginationEnd>336</paginationEnd><publisher/><issnPrint>01676423</issnPrint><keywords/><publishedDay>15</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-12-15</publishedDate><doi>10.1016/j.scico.2014.04.005</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:47:06.7092809</lastEdited><Created>2015-05-28T12:09:53.7167002</Created><authors><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>1</order></author><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>2</order></author><author><firstname>Hoang Nga</firstname><surname>Nguyen</surname><order>3</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>4</order></author><author><firstname>Steve</firstname><surname>Schneider</surname><order>5</order></author><author><firstname>Helen</firstname><surname>Treharne</surname><order>6</order></author></authors><documents><document><filename>0021769-28052015121219.pdf</filename><originalFilename>output4.pdf</originalFilename><uploaded>2015-05-28T12:12:19.0770000</uploaded><type>Output</type><contentLength>636200</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-05-28T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-07-17T14:47:06.7092809 v2 21769 2015-05-28 On modelling and verifying railway interlockings: Tracking train lengths fd3b15ff96c5ea91a100131abac558b6 0000-0002-4307-649X Phillip James Phillip James true false bf25e0b52fe7c11c473cc48d306073f7 0000-0001-9535-8053 Faron Moller Faron Moller true false 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2015-05-28 SCS Journal Article Science of Computer Programming 96 315 336 01676423 15 12 2014 2014-12-15 10.1016/j.scico.2014.04.005 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-07-17T14:47:06.7092809 2015-05-28T12:09:53.7167002 Phillip James 0000-0002-4307-649X 1 Faron Moller 0000-0001-9535-8053 2 Hoang Nga Nguyen 3 Markus Roggenbach 0000-0002-3819-2787 4 Steve Schneider 5 Helen Treharne 6 0021769-28052015121219.pdf output4.pdf 2015-05-28T12:12:19.0770000 Output 636200 application/pdf Accepted Manuscript true 2015-05-28T00:00:00.0000000 true
title On modelling and verifying railway interlockings: Tracking train lengths
spellingShingle On modelling and verifying railway interlockings: Tracking train lengths
Phillip James
Faron Moller
Markus Roggenbach
title_short On modelling and verifying railway interlockings: Tracking train lengths
title_full On modelling and verifying railway interlockings: Tracking train lengths
title_fullStr On modelling and verifying railway interlockings: Tracking train lengths
title_full_unstemmed On modelling and verifying railway interlockings: Tracking train lengths
title_sort On modelling and verifying railway interlockings: Tracking train lengths
author_id_str_mv fd3b15ff96c5ea91a100131abac558b6
bf25e0b52fe7c11c473cc48d306073f7
7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv fd3b15ff96c5ea91a100131abac558b6_***_Phillip James
bf25e0b52fe7c11c473cc48d306073f7_***_Faron Moller
7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author Phillip James
Faron Moller
Markus Roggenbach
author2 Phillip James
Faron Moller
Hoang Nga Nguyen
Markus Roggenbach
Steve Schneider
Helen Treharne
format Journal article
container_title Science of Computer Programming
container_volume 96
container_start_page 315
publishDate 2014
institution Swansea University
issn 01676423
doi_str_mv 10.1016/j.scico.2014.04.005
document_store_str 1
active_str 0
published_date 2014-12-15T03:26:13Z
_version_ 1757050541195657216
score 10.928009