实时随机系统模型检测2016.张君华, 著 随机模型检测理论与应用2014.9周从华, 著 时变随机系统2020.6郭雷, 著 实时系统2004.(美) 克里希纳 (Krishna,C.M.) , (美) 星 (Shin,K.G.) , 著 实时系统2003.09(美) 利尤 (Liu,J.W.S.) , 著 随机过程与生命科学模型2014.11(美) 蒋庆琅, 著 微机自动检测1999.03雷霖, 谢文楷, 主编 有界动态随机系统的建模与控制2015.9(英) 王宏, 著 模型检测2015.11(美) 克拉克 (Clarke Jr,E.M.) , (美) 格伦贝格 (Grumberg,O.) , (美) 佩莱德 (Peled,D.A.) , 著 模型检测2018.11(美) 埃德蒙·M.克拉克, 等著 嵌入式实时操作系统测试理论和方法2014.7张明杰, 雷迅, 杨云, 王林, 宋恒, 李强, 张军, 著 随机系统概论2013.韩崇昭, 等著 分布计算应用模型2009.陈明, 著 微机自动检测与系统设计2003.03雷霖, 编著 线性随机系统2018.3(瑞典) 林德奎斯特 (A.Lindquist) , (意) 皮奇 (G.Picci) , 著