• 力矩UHMM

  • 引用8篇文章[sw21676]
  • 现有HMM的许多不足之处软件. 特点包括:1)数据预处理。。。有偏相关随机行走运动模型包括与吸引或排斥有关的“活动中心”。。。协变量的指定设计矩阵和约束建模使用最熟悉的公式的参数。。。样条曲线模型对于周期性和其他复杂的模式;(八)模型 检查和选择。。。
  • 根西

  • 参考11篇文章[sw10712]
  • 根西:a软件生物结构可识别性分析工具箱模型. 数学的建模... 在系统生物学中的作用。模型构建通常被视为一个迭代循环,涉及几个。。。任何模型应该是选中的模型... 建筑环路。然而,检查该性质适用于任意非线性动力学模型...
  • 计算

  • 参考7篇文章[sw13098]
  • 有界的模型 检查混合自动机与浮点静态分析软件...
  • 薄片

  • 引用8篇文章[sw23311]
  • 软件验证工具链和自包含软件验证者。它可以用来验证。。。验证算法的实现,模型 检查和抽象的解释。。。
  • 真相/SLC

  • 引用8篇文章[sw01623]
  • 系统中软件工程方法是不合理的。在那里。。。成功的自动化验证方法,称为模型 检查试图证明。。。
  • 广告模型生成器

  • 17条引用[sw08412]
  • 软件任何想要创建非线性统计的人都应该对这个包感兴趣模型... 你欠你自己的检查出去!免费下载评估版。。。
  • 聪明的建模者

  • 1条引用[sw06570]
  • 本体驱动软件工程:超越模型 检查本文介绍了一个新的框架。。。相互作用模型-驱动工程与本体论建模. 我们的框架做出了贡献。。。分类速度和模型一致性检查本体论服务由先前的。。。作为模型-驱动工程工具以支持软件工程师。我们描述。。。
  • 拖把

  • 引用23条[sw10117]
  • 查找安全相关错误的方法软件并核实他们的缺席。这个想法。。。自动化此过程。我们的节目分析模型程序将被验证为下推。。。有限状态自动机及其应用模型 检查识别是否有违反国家的技术。。。
  • 惯性矩

  • 27条引用[sw10551]
  • 模型; 标准残差图检查条件分布的拟合。。。模型和弱信息先验分布构造更稳定的插补估计模型... 通常可以合并到软件其他人。。。
  • 贸易

  • 引用5篇文章[sw02908]
  • 软件设计技术,并使用形式化规范技术对此进行扩展,尤其是模型 检查...
  • CkC公司

  • 引用4篇文章[sw28199]
  • 一致性包。检查-连贯性软件被设计成检查连贯性(一致性…执行概率的扩展(推论)模型基于部分条件下高概率评估。。。
  • 凯撒解决方案

  • 在14篇文章中引用[sw10194]
  • 系统,如等效检查模型 检查. 这些问题是可以解决的。。。本文中,我们提出了一个软件图书馆致力于动态解析。。。等价检查模五广泛应用于等价关系中模型 检查普通的。。。
  • 奥德帕克

  • 引用21篇文章[sw00649]
  • ODRPACK是一个软件加权正交距离回归软件包,即用于寻找参数。。。测量误差模型在统计学上。ODRPACK可以处理显式和隐式模型,并将。。。有限差分导数,包含广泛的误差检查生成报告和设施。。。
  • 沙尔米

  • 引用4篇文章[sw11046]
  • 支持迭代建模和评估软件架构。从一个基于UML的架构设计。。。自动创建。魅力模拟和模型 检查功能有助于理解功能。。。设计。当一个令人满意和稳定的软件架构达到了,Java代码符合结构。。。
  • 有说服力

  • 在14篇文章中引用[sw01300]
  • 程序验证的定理证明。许多象征性的软件Slam和ESC/Java等验证引擎。。。当在模型 检查在300多个基准测试中,Cogent改进了。。。
  • EtomCRL2型

  • 1条引用[sw22064]
  • 可靠的软件系统。有两种方法可以应用于模型-检查一个系统。。。
  • 莫夫隆

  • 引用9篇文章[sw10086]
  • 建筑工具。它允许你模型 软件系统使用可视或文本。。。你的模型. 如果你想知道这在实践中是如何运作的,检查...
  • VeriSIMPL公司

  • 引用4篇文章[sw14598]
  • verisimpl2:一个开源的软件用于验证max-plus线性系统。这个。。。模型 检查. 本文提出了一个新的、扩展的和改进的a软件工具。。。
  • 刮擦

  • 引用2篇文章[sw06537]
  • 使用有界的模型 检查k-归纳法自动分析软件对于多核处理器。。。
  • 华夫先生

  • 1条引用[sw31992]
  • 模型检查人员。模型 检查是一种工业强度技术软件协议验证。。。使实验变得复杂模型 检查. 华夫先生是一个赤裸裸的。。。