《东南大学学报(自然科学版)》 过刊查询页面

    关键词中包括 model checking 的文章

1 基于顺序图的Web组合服务属性验证
吉顺慧,李必信,周宇
2011年第2期 [305-311][摘要](1117)[pdf 981KB](1017)
2 一种基于模型检验的类测试用例生成方法
梁陈良, 聂长海, 徐宝文, 陈振宇
2007年第5期 [776-781][摘要](1813)[pdf 312KB](809)