Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Cheng Tian Ouyang"'
Publikováno v:
2022 3rd International Conference on Electronic Communication and Artificial Intelligence (IWECAI).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52bba2bbfe70c04e9cf90d45288e87df
https://doi.org/10.1109/iwecai55315.2022.00038
https://doi.org/10.1109/iwecai55315.2022.00038
Publikováno v:
Journal of Physics: Conference Series. 1168:032020
In order to ensure the safety of railway station interlocking system, the subsystem for route creating is used as a case study, and a formal modeling method based on multiple composite scenarios analysis is provided. In the proposed method, multiple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33772f816ab95b2ca4f21c2fd4347954
https://doi.org/10.1088/1742-6596/1168/3/032020
https://doi.org/10.1088/1742-6596/1168/3/032020