Journal:软件学报【中国计算机学会高水平期刊中文A类】
Translation or Not:no
Included Journals:EI
First Author:郑黎晓,余李林,陈海明,陈祖希,骆翔宇,汪小勇
Pre One:基于Event-B与ADT实例化的TACS形式化开发方法
Next One:基于正时态测试器的实时分支时态逻辑符号化模型检测
The Last Update Time:..