Modelling and Verification of the System Requirement Specification of Train Control System Using SDL.

Lei Yuan, Tao Tang, Kaicheng Li

Browse the full ISADS paper archive.