电子学报2004，Vol.32Issue(F12)：P.222-225,4.
反应式系统面向性质测试的方法框架
摘要
关键词
软件测试/反应式系统/UML/Statecharts/时序逻辑分类
信息技术与安全科学引用本文复制引用
李书浩,王戟,董威,齐治昌..反应式系统面向性质测试的方法框架[J].电子学报,2004,32(F12):P.222-225,4.基金项目
国家自然科学基金 (No .60 2 330 2 0 （）
No.90 1 0 4 0 0 7 （）
No .60 30 30 1 3) （）
国家 863项目 (No .2 0 0 1AA1 1 32 0 2 （）
No.2 0 0 1AA1 1 31 90 ) （）
武汉大学软件工程国家重点实验室开放基金 (No .SKLSE0 3 - 0 8) （No .SKLSE0 3 - 0 8）
国防科技大学计算机学院基金"基于构件的软件开发 （）
