No Cover Image

Conference Paper/Proceeding/Abstract 916 views

OnTrack: The Railway Verification Toolset

Phillip James, Faron Moller, Hoang Nguyen Orcid Logo, Markus Roggenbach, Helen Treharne, Xu Wang

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Pages: 294 - 296

Swansea University Author: Hoang Nguyen Orcid Logo

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

Check full text

DOI (Published version): 10.1007/978-3-319-47169-3_21

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
ISBN: 9783319471686 9783319471693
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2016
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa61984
first_indexed 2022-12-15T17:23:41Z
last_indexed 2023-01-13T19:23:08Z
id cronfa61984
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-15T17:23:43.1874658</datestamp><bib-version>v2</bib-version><id>61984</id><entry>2022-11-22</entry><title>OnTrack: The Railway Verification Toolset</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>Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications</journal><volume/><journalNumber/><paginationStart>294</paginationStart><paginationEnd>296</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783319471686</isbnPrint><isbnElectronic>9783319471693</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>5</publishedDay><publishedMonth>10</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-10-05</publishedDate><doi>10.1007/978-3-319-47169-3_21</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:23:43.1874658</lastEdited><Created>2022-11-22T12:13:28.7593716</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>Phillip</firstname><surname>James</surname><order>1</order></author><author><firstname>Faron</firstname><surname>Moller</surname><order>2</order></author><author><firstname>Hoang</firstname><surname>Nguyen</surname><orcid>0000-0003-0260-1697</orcid><order>3</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><order>4</order></author><author><firstname>Helen</firstname><surname>Treharne</surname><order>5</order></author><author><firstname>Xu</firstname><surname>Wang</surname><order>6</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2022-12-15T17:23:43.1874658 v2 61984 2022-11-22 OnTrack: The Railway Verification Toolset cb24d5c5080534dc5b5e3390f24dd422 0000-0003-0260-1697 Hoang Nguyen Hoang Nguyen true false 2022-11-22 MACS Conference Paper/Proceeding/Abstract Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 294 296 Springer International Publishing Cham 9783319471686 9783319471693 0302-9743 1611-3349 5 10 2016 2016-10-05 10.1007/978-3-319-47169-3_21 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2022-12-15T17:23:43.1874658 2022-11-22T12:13:28.7593716 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Phillip James 1 Faron Moller 2 Hoang Nguyen 0000-0003-0260-1697 3 Markus Roggenbach 4 Helen Treharne 5 Xu Wang 6
title OnTrack: The Railway Verification Toolset
spellingShingle OnTrack: The Railway Verification Toolset
Hoang Nguyen
title_short OnTrack: The Railway Verification Toolset
title_full OnTrack: The Railway Verification Toolset
title_fullStr OnTrack: The Railway Verification Toolset
title_full_unstemmed OnTrack: The Railway Verification Toolset
title_sort OnTrack: The Railway Verification Toolset
author_id_str_mv cb24d5c5080534dc5b5e3390f24dd422
author_id_fullname_str_mv cb24d5c5080534dc5b5e3390f24dd422_***_Hoang Nguyen
author Hoang Nguyen
author2 Phillip James
Faron Moller
Hoang Nguyen
Markus Roggenbach
Helen Treharne
Xu Wang
format Conference Paper/Proceeding/Abstract
container_title Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
container_start_page 294
publishDate 2016
institution Swansea University
isbn 9783319471686
9783319471693
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-319-47169-3_21
publisher Springer International Publishing
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-05T05:03:45Z
_version_ 1851730506898472960
score 11.089864

Similar Items