陈祖希
开通时间:..
最后更新时间:..
点击次数:
发表刊物:软件学报【中国计算机学会高水平期刊中文A类】
是否译文:否
发表时间:2023-10-31
收录刊物:EI
第一作者:郑黎晓,余李林,陈海明,陈祖希,骆翔宇,汪小勇
上一条:基于Event-B与ADT实例化的TACS形式化开发方法
下一条:基于正时态测试器的实时分支时态逻辑符号化模型检测