• DCVALID公司

  • 在14篇文章中引用[sw20416]
  • DCVALID:一个模型检查工具持续时间 微积分公式。DCVALID是一个检查有效性的程序。。。持续时间 微积分公式。它可以作为可视化DC规范的工具。。。量化离散时间的决策过程持续时间 微积分(QDDC)。对于每个公式D,我们构造。。。
  • 无效

  • 在10篇文章中引用[sw20417]
  • IDLVALID:模型检查密集时间持续时间 微积分公式。持续时间 微积分是一个密集的时间间隔。。。命题在一个时间间隔内成立。间隔持续时间逻辑是它的变体模型。。。
  • 幼虫

  • 参考6篇文章[sw21408]
  • 秒表、Lustre和期间 微积分. 该工具已成功使用。。。
  • 数学软件

  • 引用5957篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 引用8601篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 自动

  • 引用885篇文章[sw01059]
  • AUTO是一个连续和分叉的软件。。。
  • 棱镜

  • 引用416篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 生物PEPA

  • 在102篇文章中引用[sw01361]
  • 在这项工作中,我们提出了生物PEPA,一个。。。
  • 谦虚

  • 引用32篇文章[sw01544]
  • 谦虚——一种随机建模和描述语言。。。
  • SDPT3型

  • 引用630篇[sw04009]
  • 该软件是为解决圆锥曲线编程而设计的。。。
  • PETSc公司

  • 引用1182篇文章[sw04012]
  • 可移植、可扩展的Scientii工具包c计算(PETSc。。。
  • CPLEX公司

  • 引用了2583篇文章[sw04082]
  • 国际商用机器公司® 伊洛格® CPLEX公司® 提供C,C++,Java,.NET。。。