Welcome to Railway Signalling & Communication Engineering, Today is 中文
Analysis of Typical Counterexamples for Formal Verification of Computer Based Interlocking
Liu Lijuan, Chen Hong, Chen Yaohua
Railway Signalling & Communication Engineering . 2024, (11): 41 -45 .  DOI: 10.3969/j.issn.1673-4440.2024.11.007

Total visits:      Visit Today: