Crossmark

The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System

Crossref DOI link: https://doi.org/10.1007/978-3-030-02450-5_4

Published Online: 2018-10-11

Published Print: 2018

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

Authors

Khoo, Teck Ping

Sun, Jun
License Information

Text and Data Mining valid from 2018-01-01
More Information

Conference Information

Conference Acronym: ICFEM

Conference Name: International Conference on Formal Engineering Methods

Conference City: Gold Coast, QLD

Conference Country: Australia

Conference Year: 2018

Conference Start Date: 12 November 2018

Conference End Date: 16 November 2018

Conference Number: 20

Conference ID: icfem2018

Conference URL: http://www.formal-analysis.com/icfem/2018/

Peer Review Information

Type: Open

Conference Management System: EasyChair

Number of Submissions Sent for Review: 66

Number of Full Papers Accepted: 22

Number of Short Papers Accepted: 14

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: 3

Average Number of Papers per Reviewer: 4

External Reviewers Involved: Yes