Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking.

Autor:	Cheng, Yu1,2 (AUTHOR), Liu, Jinzhao2 (AUTHOR) liujinzhao@rails.cn, Jiang, Xinliang2 (AUTHOR), Du, Xinyu2 (AUTHOR), Cheng, Ruijun3,4 (AUTHOR)
Zdroj:	Journal of Supercomputing. Sep2024, Vol. 80 Issue 13, p19696-19718. 23p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Full text from SpringerLink