中国科学院数学与系统科学研究院期刊网
可计算组织模型的验证难点与验证方法综述
王红丽, 陆云波
Overview of computational organization model validation concerns and its methodology
WANG Hong-li, LU Yun-bo
系统工程理论与实践 . 2014, (2): 382 -391 .  DOI: 10.12011/1000-6788(2014)2-382