《智能系统学报》 过刊查询页面

    关键词中包括 formal method 的文章

1 基于可拓学的自适应软件形式化方法
范锐1, 彭银桥1, 陈月峰1, 雷桂斌1, 刘小辉2 2015年6期 [901－911][摘要](6364)[pdf 1105KB](2403)