Crossmark

Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B

Crossref DOI link: https://doi.org/10.1007/978-3-030-77543-8_13

Published Online: 2021-05-23

Published Print: 2021

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

Authors

Eschbach, Robert http://orcid.org/0000-0002-2789-1873
License Information

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01

Text and Data Mining valid from 2021-01-01

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

Chapter History

First Online: 23 May 2021

Conference Information

Conference Acronym: ABZ

Conference Name: International Conference on Rigorous State-Based Methods

Conference City: Ulm

Conference Country: Germany

Conference Year: 2021

Conference Start Date: 9 June 2021

Conference End Date: 11 June 2021

Conference Number: 8

Conference ID: abz2021

Conference URL: https://abz2021.uni-ulm.de/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 18

Number of Full Papers Accepted: 6

Number of Short Papers Accepted: 8

Acceptance Rate of Full Papers: 33% - 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: 4

Average Number of Papers per Reviewer: 1-2

External Reviewers Involved: No

Additional Info on Review Process: The proceedings also contain 3 PhD symposium contributions. The conference took place virtually due to the COVID-19 pandemic..