• 发起人

  • 引用4篇文章[sw06738号]
  • promotor:模块化验证世俗的安全属性本文介绍了promotor,这是一个完全。。。
  • 灶神星

  • 引用24篇文章[sw08425]
  • 预期值的统计评估世俗的表达。VESTA序列用于检验VESTA模型。。。统计假设检验财产在概率计算树逻辑(PCTL。。。用一种叫做定量的查询语言编写世俗的表达式(简称QUATEX)。我们下一步。。。
  • 第二页

  • 引用2篇文章[sw04983]
  • 验证分支或线性时间世俗的 属性,并且经常在问题上表现出不同的表现。。。
  • TXP公司

  • 1条引用[sw32264]
  • 本文提出了一种新的世俗的 财产规范语言TXP。语言是设计的。。。支持动态监控世俗的 属性在模拟运行时,以及提供。。。
  • APNN工具箱

  • 参考11篇文章[sw06976号]
  • 线性的世俗的逻辑(LTL)考虑更一般属性. 所有这些方法都实现了。。。
  • 泡沫

  • 引用8篇文章[sw08870]
  • 属性. 或者,简单细胞属性通过最大化世俗的自然图像的连贯性。。。提出一个统一的统计框架属性基于时空活动的概念。。。
  • 玛西

  • 引用8篇文章[sw12882]
  • 定性定量标准属性已建立的模型检查世俗的逻辑学。MARCIE的分析。。。
  • TLAP公司

  • 引用9篇文章[sw09528]
  • 当前版本的TLAP无法执行世俗的推理,但它不能处理一些。。。验证安全性属性非平凡算法(只是微不足道的世俗的-逻辑推理很容易。。。
  • 等级/CPN

  • 1条引用[sw09752]
  • 等级/CPN:工具和世俗的教学中测试有色Petri网模型的逻辑。分级。。。可配置,可检查静态和动态属性. 它能自动处理诸如检查。。。易读性。我们提议并支持布兰妮世俗的可以使用的逻辑。。。引导模拟器并检查世俗的 属性. 我们提供使用。。。
  • 退出

  • 1条引用[sw29333]
  • 语言既能表达功能性又能表达世俗的 属性循环。我们证明了它的可靠性和完整性。。。
  • GENCSL公司

  • 1条引用[sw15831]
  • 经典地用于说明因果关系和世俗的 属性({scuml}/EMF)模型。报纸。。。
  • 普维斯塔

  • 17条引用[sw08423]
  • 概率重写理论。此外属性它可以进行模型检查。。。PCTL/CSL,或(ii)QuaTEx定量世俗的逻辑。正如我们的实验所显示的,性能提高。。。
  • TLPVS公司

  • 参考第10条[sw10024]
  • 世俗的逻辑,一系列证明可靠性和响应性的证明规则属性,和策略。。。
  • 引用46篇文章[sw09358]
  • 复杂的空间,世俗的甚至是空间上的-世俗的他们表现出的行为。在数学层面。。。提供对基础几何结构和属性. 通过这些网页描述的材料。。。
  • 最大持续时间2

  • 引用5篇文章[sw12883]
  • Carlo模型检查器属性以概率线性时间表示世俗的带数值约束的逻辑。。。包含PLTLc列表的查询文件属性,并分别返回财产可能性。。。
  • 生物形态

  • 参考7篇文章[sw08522]
  • 空间和世俗的水平,尤其是连续体属性,在这里抽象。。。
  • 欧氏瓣心内膜炎

  • 1条引用[sw31990]
  • 自动分析工具世俗的平衡属性并发和多智能体系统。。。假设目标用线性表示世俗的逻辑(LTL)公式。尤其是伊芙检查。。。
  • 幼虫

  • 参考6篇文章[sw21408]
  • 时间属性,以计算内存和世俗的日常开支。。。关于被监控的系统属性...
  • 结巴对等

  • 1条引用[sw28575]
  • 所有的PLTL(命题线性时间世俗的逻辑)属性对口吃不敏感的等价物。。。
  • 卡巴耶斯达

  • 1条引用[sw25015]
  • CARBayes(空间建模)和carbayest(空间-世俗的建模)包装。对于卡巴耶斯小插曲的数据。。。包括苏格兰唇癌数据和财产价格和呼吸系统住院数据来自。。。渐晕图数据包括-世俗的数据财产销售和呼吸系统住院。。。