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

    关键词中包括 formal method 的文章

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