Development of formal verification method based on the checking model to ensure the security of the train interlocking system
2019
Yul Yunazwin
