No Cover Image

Journal article 1461 views 164 downloads

Techniques for modelling and verifying railway interlockings

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

International Journal on Software Tools for Technology Transfer, Volume: 16, Issue: 6, Pages: 685 - 711

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

Check full text

DOI (Published version): 10.1007/s10009-014-0304-7

Published in: International Journal on Software Tools for Technology Transfer
ISSN: 1433-2779 1433-2787
Published: 2014
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa21770
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2015-05-29T02:08:33Z
last_indexed 2023-01-31T03:28:06Z
id cronfa21770
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-01-30T14:57:09.7653003</datestamp><bib-version>v2</bib-version><id>21770</id><entry>2015-05-28</entry><title>Techniques for modelling and verifying railway interlockings</title><swanseaauthors><author><sid>cb24d5c5080534dc5b5e3390f24dd422</sid><ORCID>0000-0003-0260-1697</ORCID><firstname>Hoang</firstname><surname>Nguyen</surname><name>Hoang Nguyen</name><active>true</active><ethesisStudent>false</ethesisStudent></author><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>International Journal on Software Tools for Technology Transfer</journal><volume>16</volume><journalNumber>6</journalNumber><paginationStart>685</paginationStart><paginationEnd>711</paginationEnd><publisher/><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>1433-2779</issnPrint><issnElectronic>1433-2787</issnElectronic><keywords/><publishedDay>15</publishedDay><publishedMonth>3</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-03-15</publishedDate><doi>10.1007/s10009-014-0304-7</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-01-30T14:57:09.7653003</lastEdited><Created>2015-05-28T12:13:37.5143002</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>Hoang</firstname><surname>Nguyen</surname><orcid>0000-0003-0260-1697</orcid><order>1</order></author><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>2</order></author><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>3</order></author><author><firstname>Hoang Nga</firstname><surname>Nguyen</surname><order>4</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>5</order></author><author><firstname>Steve</firstname><surname>Schneider</surname><order>6</order></author><author><firstname>Helen</firstname><surname>Treharne</surname><order>7</order></author></authors><documents><document><filename>0021770-28052015121447.pdf</filename><originalFilename>output3.pdf</originalFilename><uploaded>2015-05-28T12:14:47.8400000</uploaded><type>Output</type><contentLength>425122</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 2023-01-30T14:57:09.7653003 v2 21770 2015-05-28 Techniques for modelling and verifying railway interlockings cb24d5c5080534dc5b5e3390f24dd422 0000-0003-0260-1697 Hoang Nguyen Hoang Nguyen true false 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 International Journal on Software Tools for Technology Transfer 16 6 685 711 1433-2779 1433-2787 15 3 2014 2014-03-15 10.1007/s10009-014-0304-7 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2023-01-30T14:57:09.7653003 2015-05-28T12:13:37.5143002 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Hoang Nguyen 0000-0003-0260-1697 1 Phillip James 0000-0002-4307-649X 2 Faron Moller 0000-0001-9535-8053 3 Hoang Nga Nguyen 4 Markus Roggenbach 0000-0002-3819-2787 5 Steve Schneider 6 Helen Treharne 7 0021770-28052015121447.pdf output3.pdf 2015-05-28T12:14:47.8400000 Output 425122 application/pdf Accepted Manuscript true 2015-05-28T00:00:00.0000000 true
title Techniques for modelling and verifying railway interlockings
spellingShingle Techniques for modelling and verifying railway interlockings
Hoang Nguyen
Phillip James
Faron Moller
Markus Roggenbach
title_short Techniques for modelling and verifying railway interlockings
title_full Techniques for modelling and verifying railway interlockings
title_fullStr Techniques for modelling and verifying railway interlockings
title_full_unstemmed Techniques for modelling and verifying railway interlockings
title_sort Techniques for modelling and verifying railway interlockings
author_id_str_mv cb24d5c5080534dc5b5e3390f24dd422
fd3b15ff96c5ea91a100131abac558b6
bf25e0b52fe7c11c473cc48d306073f7
7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv cb24d5c5080534dc5b5e3390f24dd422_***_Hoang Nguyen
fd3b15ff96c5ea91a100131abac558b6_***_Phillip James
bf25e0b52fe7c11c473cc48d306073f7_***_Faron Moller
7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author Hoang Nguyen
Phillip James
Faron Moller
Markus Roggenbach
author2 Hoang Nguyen
Phillip James
Faron Moller
Hoang Nga Nguyen
Markus Roggenbach
Steve Schneider
Helen Treharne
format Journal article
container_title International Journal on Software Tools for Technology Transfer
container_volume 16
container_issue 6
container_start_page 685
publishDate 2014
institution Swansea University
issn 1433-2779
1433-2787
doi_str_mv 10.1007/s10009-014-0304-7
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 2014-03-15T03:25:52Z
_version_ 1763750919732723712
score 10.999524

Similar Items