科学研究出版的参考

学术期刊

在线客服：
对外合作：

联系：400-6379-560
feedback@hanspub.org

客服号

人工客服，稿件咨询

公众号

科技成果分享

● Flanagan, C. and Godefroid, P. (2005) Dynamic partial-order reduction for model ...
● Chaki, S., Clarke, E.M., Ouaknine, J., et al. (2004) Automated, compositional an...
● Anderson, Z. (2013) A CIL tutorial-using CIL for language extensions and program...
● 傅修峰, 陈丽容 (2012) 多重中断程序测试框架. 计算机工程与设计, 2, 617-623.
● Yang, Y., Chen, X.F., Gopalakrishnan, G. and KirbyInspect, R.M. (2009) A runtime...
● Joshi, P., Naik, M., Park, C.-S. and Sen, K. (2009) CalFuzzer: An extensible act...
● Dingel, J. (2003) Computer-assisted assume/guarantee reasoning with VeriSoft. Pr...
● Hofer, W., Lohmann, D., Scheler, F., Schroder-Preikschat, W. (2009) Sleepy sloth...
● Regehr, J. and Cooprider, N. (2007) Interrupt verification via thread verificati...
● 吴学光, 文艳军, 王戟, 傅秀涛, 綦艳霞, 顾斌 (2011) 多重中断C程序中数据竞争及原子性违背检测. 计算机科学与探索, 12, 1086-1093.
● Gou, J.Q. and Guo, S.Y. (2013) Simulation of humanism design of road intersectio...
● 花伟, 许良 (2007)考虑驾驶水平的元胞自动机交通流模型. 交通运输系统工程与信息, 4, 111-114
● Huang, H.J., Ding, J.X. and Tang, T.Q. (2009) A cellular automaton model of traf...
● Chen, S.D., Zhu, L.H., Kong, L.J. and Liu, M.R. (2007) The effect of noise-first...
● Bai, K.Z., Tan, H.L., Liu, M.R. and Kong, L.J. (2003) A study on an improved Nag...
● Lei, L., Xue, Y. and Dai, S.Q. (2003) One-dimensional sensitive driving cellular...
● Kuang, H., Kong, L.J. and Liu, M.R. (2004) The study of a cellular automaton tra...
● Mou, Y.B. and Zhong, C.W. (2005) Cellular automaton model of traffic flow based ...
● Li, Q.L., Wang, B.H. and Liu, M.R. (2011) An improved cellular automaton traffic...
● Jiang, R., Wu, Q.S. (2006) A stopped time dependent randomization Cellular autom...
● Li, X.B., Wu, Q.S. and Jiang, R. (2001) Cellular automaton model considering the...
● Barlovic, R., Santen, L. and Schadschneider, A. (1998) Metastable states in cell...
● 易锦, 张文辉 (2006) 从基于迁移的扩展Buhci自动机到Buchi自动机. 软件学报, 4, 720-728.
● Raynal, M. (1988) Distributed algorithms and protocols. JohnWiley & Sons, New Yo...
● 刘俏威 (2008) SP州模型检测的形式化分析机理研究及应用. 硕士学位论文, 南昌大学, 南昌.
● 孙守卿 (2006) 基于模型检测工具SPIN的安全协议分析和验证. 硕士学位论文, 兰州大学, 兰州.
● Boigelot, B. and Godefroid, P. (1996) Model checking in practice: An analysis of...
● Promela Manual Pages. http://spinroot.com/spin/Man/promela.html
● Gerth, R., Peled, D., Vardi, M.Y. and Wolper, P. (1995) Simple on-the-fly automa...
● Spin verifier’s roadmap: Using iSpin. http://spinroot.com/spin/Man/GettingStarte...

● Flanagan, C. and Godefroid, P. (2005) Dynamic partial-order reduction for model ...

● Chaki, S., Clarke, E.M., Ouaknine, J., et al. (2004) Automated, compositional an...

● Anderson, Z. (2013) A CIL tutorial-using CIL for language extensions and program...

● 傅修峰, 陈丽容 (2012) 多重中断程序测试框架. 计算机工程与设计, 2, 617-623.

● Yang, Y., Chen, X.F., Gopalakrishnan, G. and KirbyInspect, R.M. (2009) A runtime...

● Joshi, P., Naik, M., Park, C.-S. and Sen, K. (2009) CalFuzzer: An extensible act...

● Dingel, J. (2003) Computer-assisted assume/guarantee reasoning with VeriSoft. Pr...

● Hofer, W., Lohmann, D., Scheler, F., Schroder-Preikschat, W. (2009) Sleepy sloth...

● Regehr, J. and Cooprider, N. (2007) Interrupt verification via thread verificati...

● 吴学光, 文艳军, 王戟, 傅秀涛, 綦艳霞, 顾斌 (2011) 多重中断C程序中数据竞争及原子性违背检测. 计算机科学与探索, 12, 1086-1093.

● Gou, J.Q. and Guo, S.Y. (2013) Simulation of humanism design of road intersectio...

● 花伟, 许良 (2007)考虑驾驶水平的元胞自动机交通流模型. 交通运输系统工程与信息, 4, 111-114