Login / Signup
Junhua Song
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Markov Decision Process
Decomposition Methods
Gene Regulatory Networks
Model Checking
Top Venues
计算机科学
IEEE Access
</>
Publications
</>
Junhua Song
,
Ou Wei
基于线性时间算法的故障树模块扩展分解方法 (Fault Tree Module Expansion Decomposition Method Based on Liner-time Algorithm).
计算机科学
46 (1) (2019)
Lisong Wang
,
Tao Feng
,
Junhua Song
,
Zonghao Guo
,
Jun Hu
Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks.
IEEE Access
6 (2018)