中文
Home > Scientific Research > Paper Publications

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

Hits:

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

  • Translation or Not:no

  • Included Journals:EI

  • First Author:骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓

  •

Xiamen Campus: No.668 Jimei Avenue, Xiamen, Fujian, China 361021    Quanzhou Campus: No.269 Chenghua North Rd. Quanzhou, Fujian, China 362021 Click:
  MOBILE Version

The Last Update Time:..