Safety Requirements Specification and Verification for Railway Interlocking Systems.

Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen

Browse the full COMPSAC paper archive.