Huize Cheng

According to our database, Huize Cheng authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey.

Ruijun Cheng, Dewang Chen, Haifeng Song, Hui Liu, Huize Cheng

IEEE Trans. Intell. Transp. Syst., February, 2025

2024

Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage.

Ruijun Cheng, Dewang Chen, Xiaoping Ma, Yu Cheng, Huize Cheng

IEEE Trans. Intell. Transp. Syst., May, 2024