全国中文核心期刊
中国科技核心期刊
RCCSE核心期刊
SCD核心期刊
基于T-时延离散Petri网的小卫星测试序列生成方法
吴限德, 孙兆伟, 张世杰
Generation of test sequences for micro-satellite based on  T-timed discrete Petri nets model
Wu Xiande, Sun Zhaowei, Zhang Shijie-
江苏大学学报自然科学版 . 2009, (4): 396 -400 .  DOI: 10.3969/j.issn.1671-7775.2009.04.017