• 佩斯塔

  • 16篇参考文献[SW08423 ]
  • 支持概率统计模型检验真实-时间系统指定为:(i)离散…PCTL/CSL,或(ii)QuATEX定量世俗的 逻辑. 实验结果表明:
  • 马卡斯帕斯

  • 5篇参考文献[SW06957 ]
  • 面向服务的计算。SoSL是世俗的 逻辑这允许描述动态演化…允许使用的基元真实-时间界限符合逻辑的表征…
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • MATLAB

  • 11446篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • R

  • 7603篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 棱镜

  • 395篇参考文献[SW01186]
  • 棱镜:概率符号模型检查器。在本文中…
  • 毫升

  • 502篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 焦点

  • 20篇参考文献[SW01591]
  • FACS——从正式的自动生成模拟检查器
  • 字网

  • 380篇参考文献[ SW01777 ]
  • WordNet®是一个大型的英语词汇数据库。