No Cover Image

Journal article 1378 views 257 downloads

Automated Verification of Signalling Principles in Railway Interlocking Systems

Karim Kanso, Faron Moller Orcid Logo, Anton Setzer Orcid Logo

Electronic Notes in Theoretical Computer Science, Volume: 250, Issue: 2, Pages: 19 - 31

Swansea University Authors: Faron Moller Orcid Logo, Anton Setzer Orcid Logo

Published in: Electronic Notes in Theoretical Computer Science
ISSN: 15710661
Published: 2009
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa153
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T11:47:35Z
last_indexed 2019-06-05T09:05:44Z
id cronfa153
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-06-03T12:17:06.9238228</datestamp><bib-version>v2</bib-version><id>153</id><entry>2012-02-23</entry><title>Automated Verification of Signalling Principles in Railway Interlocking Systems</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>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>2012-02-23</date><deptcode>SCS</deptcode><abstract></abstract><type>Journal Article</type><journal>Electronic Notes in Theoretical Computer Science</journal><volume>250</volume><journalNumber>2</journalNumber><paginationStart>19</paginationStart><paginationEnd>31</paginationEnd><publisher/><issnPrint>15710661</issnPrint><keywords/><publishedDay>2</publishedDay><publishedMonth>9</publishedMonth><publishedYear>2009</publishedYear><publishedDate>2009-09-02</publishedDate><doi>10.1016/j.entcs.2009.08.015</doi><url/><notes>Proceedings of AVOCS"08. Eighth International Workshop on Automated Verification of Critical Systems. University of Glasgow, 30. Sept. - 1 Oct 2008. Electronic Notes in Theoretical Computer Science 250</notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-06-03T12:17:06.9238228</lastEdited><Created>2012-02-23T17:01:57.0000000</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>Karim</firstname><surname>Kanso</surname><order>1</order></author><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>2</order></author><author><firstname>Anton</firstname><surname>Setzer</surname><orcid>0000-0001-5322-6060</orcid><order>3</order></author></authors><documents><document><filename>0000153-17052015173957.pdf</filename><originalFilename>avocs08postproceedings.pdf</originalFilename><uploaded>2015-05-17T17:39:57.3830000</uploaded><type>Output</type><contentLength>208888</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-05-17T00:00:00.0000000</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-06-03T12:17:06.9238228 v2 153 2012-02-23 Automated Verification of Signalling Principles in Railway Interlocking Systems bf25e0b52fe7c11c473cc48d306073f7 0000-0001-9535-8053 Faron Moller Faron Moller true false 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2012-02-23 SCS Journal Article Electronic Notes in Theoretical Computer Science 250 2 19 31 15710661 2 9 2009 2009-09-02 10.1016/j.entcs.2009.08.015 Proceedings of AVOCS"08. Eighth International Workshop on Automated Verification of Critical Systems. University of Glasgow, 30. Sept. - 1 Oct 2008. Electronic Notes in Theoretical Computer Science 250 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-06-03T12:17:06.9238228 2012-02-23T17:01:57.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Karim Kanso 1 Faron Moller 0000-0001-9535-8053 2 Anton Setzer 0000-0001-5322-6060 3 0000153-17052015173957.pdf avocs08postproceedings.pdf 2015-05-17T17:39:57.3830000 Output 208888 application/pdf Accepted Manuscript true 2015-05-17T00:00:00.0000000 true
title Automated Verification of Signalling Principles in Railway Interlocking Systems
spellingShingle Automated Verification of Signalling Principles in Railway Interlocking Systems
Faron Moller
Anton Setzer
title_short Automated Verification of Signalling Principles in Railway Interlocking Systems
title_full Automated Verification of Signalling Principles in Railway Interlocking Systems
title_fullStr Automated Verification of Signalling Principles in Railway Interlocking Systems
title_full_unstemmed Automated Verification of Signalling Principles in Railway Interlocking Systems
title_sort Automated Verification of Signalling Principles in Railway Interlocking Systems
author_id_str_mv bf25e0b52fe7c11c473cc48d306073f7
5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv bf25e0b52fe7c11c473cc48d306073f7_***_Faron Moller
5f7695285397f46d121207120247c2ae_***_Anton Setzer
author Faron Moller
Anton Setzer
author2 Karim Kanso
Faron Moller
Anton Setzer
format Journal article
container_title Electronic Notes in Theoretical Computer Science
container_volume 250
container_issue 2
container_start_page 19
publishDate 2009
institution Swansea University
issn 15710661
doi_str_mv 10.1016/j.entcs.2009.08.015
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 1
active_str 0
published_date 2009-09-02T03:02:55Z
_version_ 1763749476080549888
score 11.030407