10.3778/j.issn.1673-9418.2010.12.007
模型检验在构件数据流测试中的应用
构件、数据流测试、模型检验、陷阱性质
4
TP311(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant No.60970007, 61073050;the Natural Science Foundation of Shanghai of China under Grant No.09ZR1412100;the Science and Technology Commission Project of Shanghai of China under Grant No.10510704900;the Shanghai Leading Academic Discipline Project of China under Grant No.J50103
2011-03-14(万方平台首次上网日期,不代表论文的发表时间)
共10页
1121-1130