No Cover Image

Conference Paper/Proceeding/Abstract 1079 views

Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line

Lei Chen, Phillip James, David Kirkwood, Hoang Nguyen Orcid Logo, Gemma L Nicholson, Markus Roggenbach

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)

Swansea University Author: Hoang Nguyen Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1109/icirt.2016.7588753

Published in: 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)
ISBN: 978-1-5090-1556-6 978-1-5090-1555-9
Published: IEEE 2016
URI: https://cronfa.swan.ac.uk/Record/cronfa61986
first_indexed 2022-12-15T17:21:39Z
last_indexed 2023-01-13T19:23:08Z
id cronfa61986
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-15T17:21:41.2397881</datestamp><bib-version>v2</bib-version><id>61986</id><entry>2022-11-22</entry><title>Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line</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></swanseaauthors><date>2022-11-22</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>IEEE</publisher><placeOfPublication/><isbnPrint>978-1-5090-1556-6</isbnPrint><isbnElectronic>978-1-5090-1555-9</isbnElectronic><issnPrint/><issnElectronic/><keywords/><publishedDay>13</publishedDay><publishedMonth>10</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-10-13</publishedDate><doi>10.1109/icirt.2016.7588753</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2022-12-15T17:21:41.2397881</lastEdited><Created>2022-11-22T12:13:55.7422200</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>Lei</firstname><surname>Chen</surname><order>1</order></author><author><firstname>Phillip</firstname><surname>James</surname><order>2</order></author><author><firstname>David</firstname><surname>Kirkwood</surname><order>3</order></author><author><firstname>Hoang</firstname><surname>Nguyen</surname><orcid>0000-0003-0260-1697</orcid><order>4</order></author><author><firstname>Gemma L</firstname><surname>Nicholson</surname><order>5</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><order>6</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2022-12-15T17:21:41.2397881 v2 61986 2022-11-22 Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line cb24d5c5080534dc5b5e3390f24dd422 0000-0003-0260-1697 Hoang Nguyen Hoang Nguyen true false 2022-11-22 MACS Conference Paper/Proceeding/Abstract 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) IEEE 978-1-5090-1556-6 978-1-5090-1555-9 13 10 2016 2016-10-13 10.1109/icirt.2016.7588753 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2022-12-15T17:21:41.2397881 2022-11-22T12:13:55.7422200 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Lei Chen 1 Phillip James 2 David Kirkwood 3 Hoang Nguyen 0000-0003-0260-1697 4 Gemma L Nicholson 5 Markus Roggenbach 6
title Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
spellingShingle Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
Hoang Nguyen
title_short Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
title_full Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
title_fullStr Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
title_full_unstemmed Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
title_sort Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line
author_id_str_mv cb24d5c5080534dc5b5e3390f24dd422
author_id_fullname_str_mv cb24d5c5080534dc5b5e3390f24dd422_***_Hoang Nguyen
author Hoang Nguyen
author2 Lei Chen
Phillip James
David Kirkwood
Hoang Nguyen
Gemma L Nicholson
Markus Roggenbach
format Conference Paper/Proceeding/Abstract
container_title 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)
publishDate 2016
institution Swansea University
isbn 978-1-5090-1556-6
978-1-5090-1555-9
doi_str_mv 10.1109/icirt.2016.7588753
publisher IEEE
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 0
active_str 0
published_date 2016-10-13T17:16:01Z
_version_ 1850689414195314688
score 11.08899

Similar Items