Verifying an Elevator Scheduling Control System.

Huan Zhang, Haoyang Lu, Long Cheng, Hao Wu

Browse the full ICST paper archive.