No Cover Image

Conference Paper/Proceeding/Abstract 449 views

Comparing Formal Verification Approaches of Interlocking Systems

Anne Elisabeth Haxthausen, Hoang Nguyen Orcid Logo, Markus Roggenbach Orcid Logo

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Pages: 160 - 177

Swansea University Authors: Hoang Nguyen Orcid Logo, Markus Roggenbach Orcid Logo

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

Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 9783319339504 9783319339511
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2015
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa61983
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2022-12-15T17:27:17Z
last_indexed 2023-01-13T19:23:07Z
id cronfa61983
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-15T17:27:19.4346906</datestamp><bib-version>v2</bib-version><id>61983</id><entry>2022-11-22</entry><title>Comparing Formal Verification Approaches of Interlocking Systems</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>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>2022-11-22</date><deptcode>SCS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification</journal><volume/><journalNumber/><paginationStart>160</paginationStart><paginationEnd>177</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783319339504</isbnPrint><isbnElectronic>9783319339511</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>15</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-06-15</publishedDate><doi>10.1007/978-3-319-33951-1_12</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>2022-12-15T17:27:19.4346906</lastEdited><Created>2022-11-22T12:11:45.1903354</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>Anne Elisabeth</firstname><surname>Haxthausen</surname><order>1</order></author><author><firstname>Hoang</firstname><surname>Nguyen</surname><orcid>0000-0003-0260-1697</orcid><order>2</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2022-12-15T17:27:19.4346906 v2 61983 2022-11-22 Comparing Formal Verification Approaches of Interlocking Systems cb24d5c5080534dc5b5e3390f24dd422 0000-0003-0260-1697 Hoang Nguyen Hoang Nguyen true false 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2022-11-22 SCS Conference Paper/Proceeding/Abstract Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 160 177 Springer International Publishing Cham 9783319339504 9783319339511 0302-9743 1611-3349 15 6 2015 2015-06-15 10.1007/978-3-319-33951-1_12 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2022-12-15T17:27:19.4346906 2022-11-22T12:11:45.1903354 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Anne Elisabeth Haxthausen 1 Hoang Nguyen 0000-0003-0260-1697 2 Markus Roggenbach 0000-0002-3819-2787 3
title Comparing Formal Verification Approaches of Interlocking Systems
spellingShingle Comparing Formal Verification Approaches of Interlocking Systems
Hoang Nguyen
Markus Roggenbach
title_short Comparing Formal Verification Approaches of Interlocking Systems
title_full Comparing Formal Verification Approaches of Interlocking Systems
title_fullStr Comparing Formal Verification Approaches of Interlocking Systems
title_full_unstemmed Comparing Formal Verification Approaches of Interlocking Systems
title_sort Comparing Formal Verification Approaches of Interlocking Systems
author_id_str_mv cb24d5c5080534dc5b5e3390f24dd422
7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv cb24d5c5080534dc5b5e3390f24dd422_***_Hoang Nguyen
7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author Hoang Nguyen
Markus Roggenbach
author2 Anne Elisabeth Haxthausen
Hoang Nguyen
Markus Roggenbach
format Conference Paper/Proceeding/Abstract
container_title Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
container_start_page 160
publishDate 2015
institution Swansea University
isbn 9783319339504
9783319339511
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-319-33951-1_12
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 2015-06-15T04:21:14Z
_version_ 1763754403200761856
score 11.016861