• 澳大利亚

  • 引用278篇文章[sw06367]
  • 数量限制。具体地说,我们使用渐近法分析正式地为数值推导适当的比例。。。
  • 洛夫

  • 引用了91篇文章[sw19311]
  • 周围的邻居。我们给出了一个详细的正式的 分析表明LOF有许多令人满意的特性。。。
  • K检验器

  • 引用41篇文章[sw32257]
  • 以及类型系统或正式的 分析工具可以定义,利用配置。。。
  • 爪哇凡

  • 引用32篇文章[sw01934]
  • 正式的 分析JavaFAN中的Java程序。JavaFAN是一个Java程序分析框架,那。。。Maude代码行,指定正式地Java和JVM在重写逻辑中的语义。。。
  • 斯帕斯塔特

  • 参考文献133篇[sw04429]
  • 探索性数据分析、模型拟合、仿真、空间采样、模型诊断和正式的推断。数据类型。。。
  • 归档正式证据

  • 在163篇文章中引用[SW613号文件]
  • 档案正式的证明。档案正式的证据是大量的计算机集合。。。伊莎贝尔助理。我们进行了深入的分析在档案中,查看各种属性。。。正式的证据。。。
  • 高架桥2

  • 参考33篇文章[sw03511]
  • 单向模型转换常用于正式的模型分析进行强有力的抽象。。。
  • 生物PEPA

  • 参考文献103篇[sw01361]
  • 用于建模和分析生化网络。这是一个修改。。。中间,正式的,生物系统的组成代表分析可以携带。。。
  • 阿奇爪哇

  • 引用19篇文章[sw01803]
  • 更有效的设计、程序理解和正式的 分析. 然而,现有的方法将实现代码与。。。
  • 普维斯塔

  • 17条引用[sw08423]
  • 统计模型检验是一种很有吸引力的方法正式的 分析概率系统的方法,如。。。
  • 大都市

  • 17条引用[sw16265]
  • 支持模拟的电子系统设计,正式的 分析,以及合成。。。
  • K工具

  • 17条引用[sw09746]
  • 哪种编程语言、类型系统和正式的 分析工具可以定义使用配置,计算。。。
  • 飞天螳螂

  • 引用16条[sw09467]
  • 以提供安全通信。这个分析这样的安全协议已经变成。。。这推动了研究正式的 分析安全协议。不幸的是。。。高效的协议,以及简洁的工作正式的逻辑可以让人很容易地证明。。。
  • 团结

  • 引用185篇[sw13461]
  • 基于统一的施工方法,分析以及仿真模型的执行。方法论开始。。。首先将系统转换为正式的断言,允许正式的验证转换。。。
  • 聪明的_

  • 参考33篇文章[sw04097]
  • 逻辑与概率分析复杂系统。聪明可以结合不同的形式主义同样的。。。建模研究。对于分析逻辑行为,显式和符号化的状态空间生成。。。这使得新的形式主义以及求解算法。。。
  • 托斯卡纳

  • 引用了20篇文章[sw05411]
  • Java重新实现经典正式的概念分析托斯卡纳前线。它是用软件建造的。。。
  • VPM公司

  • 参考11篇文章[sw07364]
  • Kripke自动机、过程代数等)正式的 分析预期的目的,例如,在提交的文件中。。。基础数学,这妨碍了正式的工业技术应用。。。
  • 霍尔茨

  • 参考11篇文章[sw02996]
  • 然后考虑到正式的 分析通过证明这些推测。。。
  • 潜金

  • 引用93篇文章[sw11673]
  • 以某些重要的方式互相攻击。正式地潜类用K表示。。。传统的潜在变量方法,如因子分析结构方程模型和随机效应回归。。。连续潜在变量。潜在等级(LC)分析最初是由拉扎斯菲尔德介绍的。。。项目。在20世纪70年代,LC方法是正式化并由古德曼扩展到名义变量。。。