Welcome to Railway Signalling & Communication Engineering, Today is 中文
Minimal Test Case Set Path Generation Algorithm in SCADE Model Testing
Xia Miao, Chen Zehua
Railway Signalling & Communication Engineering . 2025, (4): 19 -24,57 .  DOI: 10.3969/j.issn.1673-4440.2025.04.003