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

Teck Ping Khoo, Jun Sun

Browse the full ICFEM paper archive.