• 违反

  • 引用了20篇文章【sw20822】
  • 米制的间隔世俗的 逻辑(MITL)公式。违约范围的适用范围。。。
  • 卡萨尔

  • 引用5篇文章[sw10130]
  • 基于统计模型的加权检验米制的 世俗的 逻辑. 我们提出了一种新颖的方法。。。关于加权米制的 世俗的 逻辑(WMTL)≤ ). 基于随机语义。。。
  • 天线

  • 引用3篇文章[sw38022]
  • 几乎独立于事件率的监视器公制 世俗的 逻辑公制动态的逻辑...
  • 塔里罗

  • 引用2篇文章[sw10178]
  • 命题的稳健性世俗的 逻辑关于离散时间信号的规范。这个。。。线性和公制 世俗的 逻辑学,描述工具箱的用法。。。
  • QTL解决方案

  • 引用2篇文章[sw14602]
  • 定量检验满意度/公制间隔世俗的 逻辑(MITL/QTL)超过Reals。。。
  • 独奏者

  • 1条引用[sw16438号]
  • 许多是一级分类的米制的 世俗的 逻辑,用新的世俗的支持聚合的模式。。。
  • 康特戈

  • 1条引用[sw34176]
  • 逻辑. 我们介绍了Contego,一种在不影响RTS的情况下将安全任务集成到RTS中的方法世俗的... 不同的模式。我们还定义了米制的为了衡量这种整合的有效性。。。
  • ACL2

  • 引用279篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

  • 引用2876篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 数学软件

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

  • 引用了536篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 网络X

  • 引用116篇文章[sw00616]
  • NetworkX(NX)是一个Python包,用于。。。