陈祖希

  • 硕士生导师
  • 性别:男
  • 学历:博士研究生
  • 学位:工学博士学位
  • 入职时间:2016-06-06
  • 办公地点:机电楼A409
  • 电子邮箱:zuxichen@hqu.edu.cn
  • 在职信息:在岗

访问量:

开通时间:..

最后更新时间:..

基于正时态测试器的实时分支时态逻辑符号化模型检测

点击次数:

发表刊物:软件学报【中国计算机学会高水平期刊中文A类】

是否译文:

发表时间:2022-08-02

收录刊物:EI

第一作者:骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓