计算机工程与科学2010，Vol.32Issue(12)：76-79,4.DOI:10.3969/j.issn.1007-130X.2010.12.021
蚁群智能模型检测算法
A Model Checking Algorithm Based on Ant Colony Swarm Intelligence
摘要
关键词
模型检测/自动软件测试/蚁群智能/信息素分类
信息技术与安全科学引用本文复制引用
吴湘宁,胡成玉,汪渊..蚁群智能模型检测算法[J].计算机工程与科学,2010,32(12):76-79,4.基金项目
湖北省自然科学基金资助项目(2009CDB226) （2009CDB226）
中国地质大学(武汉)中央高校基本科研业务费专项资金资助项目(CUG090224) （武汉）
