• PVS公司

  • 参考625篇文章[sw03484]
  • 最先进的机械化正式的 方法足够坚固。。。
  • Java探路者

  • 引用120篇文章[sw07658]
  • 更广泛的尝试正式的 方法适用于美国宇航局的空间,航空。。。继续努力正式地使用SPIN分析多线程操作系统。。。
  • PPL公司

  • 引用97篇文章[sw05357]
  • 正式的 方法社区和一些关键任务依赖。。。
  • RRL公司

  • 引用了55篇文章[sw28904]
  • 调查使用的工具正式的 方法在硬件和软件设计方面。我们提供。。。
  • 特里克

  • 引用47篇文章[sw02165]
  • 自然模态有限元方法 正式化通过适当的几何,三角和工程数学关系。。。
  • 公司证书

  • 引用46篇文章[sw09737]
  • 可以通过应用正式的 方法源程序。主要结果是。。。
  • 帕米尔斯

  • 引用72篇文章[sw00678]
  • 这个算法的配置问题。更多正式地,我们提供方法为了优化目标算法。。。
  • 团结

  • 引用185篇[sw13461]
  • 机械的方法首先把过渡系统映射成正式的断言,允许。。。
  • 美国铝业

  • 27条引用[sw09481]
  • 另一方面,它体现了一种轻量化正式的 方法其中微妙的行为特征。。。
  • 火焰

  • 在38篇文章中引用[sw00293]
  • 简化。结合我们的正式的线性代数方法从环境(火焰)的角度来推导这种。。。
  • 提高

  • 引用15篇文章[sw03248]
  • 举起工具。使用正式的 方法经常被认为是。。。
  • 斯帕斯塔特

  • 参考文献133篇[sw04429]
  • 空间采样、模型拟合、模型拟合正式的推断。数据类型包括点模式、线。。。空间窗口,像素图像和镶嵌。探索性的方法包括K函数,最近邻距离。。。自动模拟。还为正式的推理(如卡方检验)和模型。。。
  • 壁画

  • 引用9篇文章[sw23627]
  • 更具体,通过分解操作。正式的 方法确保由此产生的版本。。。导致相当大的证据,正式的 方法没有合适的支持工具就不能使用。。。最小的一个正式的 方法这本书分为。。。推荐给研究人员正式的程序开发。。。
  • Java MaC电脑

  • 在10篇文章中引用[sw20000]
  • 建筑。MaC是轻量级的正式的 方法作为一个可行的补充。。。当前重量级正式的 方法. 此外,还介绍了包括仪器在内的体系结构分析过程。。。
  • 内斯特

  • 27条引用[sw22096]
  • 知识型的方法在一个正式的概率论框架。用户界面模块提供。。。三个任务,以及方法用来称呼他们。此外。。。
  • 制服

  • 引用8篇文章[sw10332]
  • workbench通用开发环境正式的 方法. 统一工作台支持正式的...
  • 科拉特

  • 引用32篇文章[sw07259]
  • Java程序。给予正式的a的规范方法,Korat使用方法先决条件。。。
  • 迪斯科

  • 参考7篇文章[sw10393]
  • 迪斯科工具集——新一代。正式的 方法被认为是一种可能的解决办法。。。危机。工具是宝贵的伙伴正式的 方法:它们有助于分析和理解。。。给出了工具集。迪斯科是正式的规范方法对于反应式和分布式系统。。。