Updates are available Correction dated 2024-02-10
Click to view Correction: https://doi.org/10.1007/978-3-030-58298-2_14
-
Authors
Garavel, Hubert
ter Beek, Maurice H. http://orcid.org/0000-0002-2930-6367
van de Pol, Jaco http://orcid.org/0000-0003-4305-0625
- License Information
-
More Information
Chapter History
First Online: 29 August 2020
Change Date: 10 February 2024
Change Type: Correction
Change Details: A correction has been published.
Conference Information
Conference Acronym: FMICS
Conference Name: International Conference on Formal Methods for Industrial Critical Systems
Conference City: Vienna
Conference Country: Austria
Conference Year: 2020
Conference Start Date: 2 September 2020
Conference End Date: 3 September 2020
Conference Number: 25
Conference ID: fmics2020
Conference URL: https://fmics20.ait.ac.at/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 26
Number of Full Papers Accepted: 11
Number of Short Papers Accepted: 0
Acceptance Rate of Full Papers: 42% - 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
Average Number of Papers per Reviewer: 3
External Reviewers Involved: Yes
Additional Info on Review Process: The conference was held virtually due to the COVID-19 pandemic.
