No Cover Image

Journal article 1656 views 461 downloads

Automated Verification of Signalling Principles in Railway Interlocking Systems

Karim Kanso, Faron Moller, Anton Setzer Orcid Logo

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

Swansea University Author: Anton Setzer Orcid Logo

Check full text

DOI (Published version): 10.1016/j.entcs.2009.08.015

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

URI: https://cronfa.swan.ac.uk/Record/cronfa108
first_indexed 2013-07-23T11:46:15Z
last_indexed 2019-06-05T09:05:38Z
id cronfa108
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2019-06-03T12:19:39.1156489</datestamp><bib-version>v2</bib-version><id>108</id><entry>2011-10-01</entry><title>Automated Verification of Signalling Principles in Railway Interlocking Systems</title><swanseaauthors><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>2011-10-01</date><deptcode>MACS</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>Preprint</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>In Proceedings of AVOCS'08, Eighth International Workshop on Automated Verification of Critical Systems, Glasgow, UK</notes><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-06-03T12:19:39.1156489</lastEdited><Created>2011-10-01T00:00:00.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><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>0000108-17052015173848.pdf</filename><originalFilename>avocs08.pdf</originalFilename><uploaded>2015-05-17T17:38:48.1500000</uploaded><type>Output</type><contentLength>178230</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-05-17T17:38:48.0000000</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2019-06-03T12:19:39.1156489 v2 108 2011-10-01 Automated Verification of Signalling Principles in Railway Interlocking Systems 5f7695285397f46d121207120247c2ae 0000-0001-5322-6060 Anton Setzer Anton Setzer true false 2011-10-01 MACS Journal Article Electronic Notes in Theoretical Computer Science 250 2 19 31 Preprint 15710661 2 9 2009 2009-09-02 10.1016/j.entcs.2009.08.015 In Proceedings of AVOCS'08, Eighth International Workshop on Automated Verification of Critical Systems, Glasgow, UK COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2019-06-03T12:19:39.1156489 2011-10-01T00:00:00.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Karim Kanso 1 Faron Moller 2 Anton Setzer 0000-0001-5322-6060 3 0000108-17052015173848.pdf avocs08.pdf 2015-05-17T17:38:48.1500000 Output 178230 application/pdf Accepted Manuscript true 2015-05-17T17:38:48.0000000 true
title Automated Verification of Signalling Principles in Railway Interlocking Systems
spellingShingle Automated Verification of Signalling Principles in Railway Interlocking Systems
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 5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 5f7695285397f46d121207120247c2ae_***_Anton Setzer
author 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
publisher Preprint
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:03:47Z
_version_ 1851088780540248064
score 11.089407

Similar Items