accessibility analysis

 
       
  • 可达性分析

accessibility analysis的用法和样例:

例句

  1. For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
    实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。

accessibility analysis的相关资料:

临近单词

目录
应用 附录 查词历史
    今日热词