Supported by the National Natural Science Foundation of China under Grant No.60373053 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2004AA1Z2100 (国家高技术研究发展计划(863)); the Hundred Talents of the Chinese Academy of Sciences (中国科学院"百人计划")
陈伟,薛云志,赵琛,李明树.一种基于时间自动机的实时系统测试方法.软件学报,2007,18(1):62-73
复制