• 乌普巴尔

  • 615篇参考文献[SW04702]
  • 丹麦大学与系信息在瑞典乌普萨拉大学的技术…建模为一个集合-确定性的具有有限控制结构和实值的过程…
  • UPPAAL2K

  • 42篇参考文献[SW01595]
  • 丹麦大学与系信息在瑞典乌普萨拉大学的技术…建模为一个集合-确定性的具有有限控制结构和实值的过程…
  • 袋泡茶

  • 6篇参考文献[SW08980]
  • 控制能力-确定性的步骤,删除上下文信息切换热切的评价…
  • 连铸机

  • 22篇参考文献[SW28 81]
  • 许多实际的重要问题,如-确定性的规划或符号模型检查…提到7个应用程序。更多信息关于QBF问题可以在QBFLIB中找到。
  • 雷维尔特

  • 5篇参考文献[SW29 986]
  • 存足信息重放和分析包括任何攻击-确定性的事件ReVirt…目标操作系统。Revit日志足够信息重演长期执行…系统,即使在存在的情况下-确定性的攻击和处决。Revit增加了合理的时间…
  • TCCP

  • 3篇参考文献[SW28 619]
  • 代理生成(告知)和检查(询问)部分信息(限制)在全球商店(连接)参数W.R.T.一个约束系统-确定性的. 本文介绍了TCPP解释器系统。
  • 斯达尔

  • 4篇参考文献[SW20158]
  • Reales和随机性SCAND编码随机信息通过使用一组引入的随机变量…基于标准仿真的方法,它支持-确定性的分支,增加了模拟的覆盖范围…
  • MATLAB

  • 11180篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 516篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 埃兰

  • 108篇参考文献[SW02179]
  • ELAN系统提供了用于指定…的环境。
  • UCI ML

  • 2800篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • Obj3

  • 137篇参考文献[SW05370]
  • Obj3是一个程序规范和证明系统。
  • 莫德

  • 649篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…