Crossmark

Compositional Verification of Railway Interlockings: Comparison of Two Methods

Crossref DOI link: https://doi.org/10.1007/978-3-031-05814-1_1

Published Online: 2022-05-20

Published Print: 2022

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Fantechi, Alessandro

Gori, Gloria

Haxthausen, Anne E.

Limbrée, Christophe
License Information

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-01-01

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-01-01
More Information

Chapter History

First Online: 20 May 2022

Conference Information

Conference Acronym: RSSRail

Conference Name: International Conference on Reliability, Safety, and Security of Railway Systems

Conference City: Paris

Conference Country: France

Conference Year: 2022

Conference Start Date: 1 June 2022

Conference End Date: 2 June 2022

Conference Number: 4

Conference ID: rssrail2022

Conference URL: https://rssrail2021.univ-gustave-eiffel.fr/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: Easychair

Number of Submissions Sent for Review: 31

Number of Full Papers Accepted: 16

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 52% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3.1

Average Number of Papers per Reviewer: 2

External Reviewers Involved: Yes