中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 陈光耀

    合作成果数：2

  • 江智浩

    合作成果数：2

  • 滕孜信

    合作成果数：1

  • 何沛霖

    合作成果数：1

  • Chenyang Zhu

    合作成果数：1

访问统计


  总访问量
 392
  访问来源
    内部： 0
    外部： 392
    国内： 361
    国外： 31

  年访问量
 96
  访问来源
    内部： 0
    外部： 96
    国内： 88
    国外： 8

  月访问量
 3
  访问来源
    内部： 0
    外部： 3
    国内： 2
    国外： 1

访问量

访问量

1. Model checking-based decision support system for fault management:.. [420]
2. PyUPPAAL: A Python Toolbox for Model-Checking-Based Risk Analysis .. [56]

下载量

1. Model checking-based decision support system for fault management:.. [4]