计算机工程与科学2006，Vol.28Issue(4)：119-123,5.
基于模型的实时系统测试方法
Model-Based Methods for Real-Time System Testing
摘要
关键词
实时系统/基于模型的测试/时间自动机/时序逻辑/Petri net分类
信息技术与安全科学引用本文复制引用
李书浩,王戟,齐治昌..基于模型的实时系统测试方法[J].计算机工程与科学,2006,28(4):119-123,5.基金项目
国家自然科学基金资助项目(60233020,90104007) （60233020,90104007）
国家863计划资助项目(2001AA113202,2001AA113190) （2001AA113202,2001AA113190）
