共 50 条
- [41] Safety Design of Level Crossing Control System Based on Formal Method Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2023, 58 (01): : 109 - 116
- [44] Robustness Verification of Railway Level Crossing Control System by Formal Method 12TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY, AND SAFETY (ICRMS 2018), 2018, : 230 - 233
- [45] EXTENSION OF DYNAMIC CHARACTERIZATION METHOD IN PREDICTING LEVEL-CROSSING STATISTICS JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1971, 49 (01): : 84 - +
- [46] Smart level crossing PROCEEDINGS OF 2018 16TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS TELECOMMUNICATIONS (ITST), 2018,
- [49] LEVEL-CROSSING PROBLEM OF A GAUSSIAN PROCESS HAVING GAUSSIAN POWER SPECTRUM DENSITY JAPANESE JOURNAL OF APPLIED PHYSICS PART 2-LETTERS, 1985, 24 (04): : L278 - L280
- [50] A Method For Density Estimation Based On Expectation Identities BAYESIAN INFERENCE AND MAXIMUM ENTROPY METHODS IN SCIENCE AND ENGINEERING (MAXENT 2016), 2017, 1853