Safety Analysis and Strategy of Alipay.

Chong Yuan Yue Zhang Ye Liu

Published in: Int. J. Adv. Pervasive Ubiquitous Comput. (2016)

Keyphrases

safety analysis
nuclear power plant
control system
symbolic model checking
safety critical
fault model
expert systems
artificial intelligence
reinforcement learning