Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN.

Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura

Browse the full ACIIDS paper archive.