中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 江智浩

    合作成果数：7

  • 杨昊晨

    合作成果数：2

  • 王子琪

    合作成果数：2

  • Chenyang Zhu

    合作成果数：2

  • 顾吉成

    合作成果数：1

访问统计


  总访问量
 613
  访问来源
    内部： 6
    外部： 607
    国内： 536
    国外： 77

  年访问量
 112
  访问来源
    内部： 0
    外部： 112
    国内： 104
    国外： 8

  月访问量
 6
  访问来源
    内部： 0
    外部： 6
    国内： 6
    国外： 0

访问量

访问量

1. Environment Modeling during Model Checking of Cyberphysical System.. [746]
2. pyUPPAAL: A Python Package for Risk Analysis of CPS [418]
3. Model checking-based decision support system for fault management:.. [409]
4. Predicting Synthetic Lethality in Human Cancers via Multi-Graph En.. [393]
5. Iterative Model Checking for Safety-Critical Problems in Cyber-Phy.. [272]
6. Enhancing Context Awareness with Model Checking-based Uncertainty .. [49]
7. PyUPPAAL: A Python Toolbox for Model-Checking-Based Risk Analysis .. [48]

下载量

1. Environment Modeling during Model Checking of Cyberphysical System.. [306]
2. pyUPPAAL: A Python Package for Risk Analysis of CPS [172]
3. Model checking-based decision support system for fault management:.. [4]
4. Iterative Model Checking for Safety-Critical Problems in Cyber-Phy.. [3]
5. Predicting Synthetic Lethality in Human Cancers via Multi-Graph En.. [1]