• 埃斯特雷尔

  • 在163篇文章中引用[sw20012]
  • 基于验证工具互模拟减少或安全性能检查。埃斯特雷尔。。。
  • 生物PEPA

  • 参考文献103篇[sw01361]
  • 等价性。特别是同构和强互模拟因为佩帕已经被考虑和扩展。。。
  • MRMC公司

  • 引用了70篇文章[sw04129]
  • 报酬有界可达概率(属性驱动)互模拟最小化,精确的动态稳态。。。
  • 马蒂斯

  • 在26篇文章中引用[sw06311]
  • 用近似法抽象线性系统的框架互模拟关系[1,2,3,4]。相反。。。基于语言包含或精确的细化互模拟关系,近似值互模拟关系不需要。。。抽象是完全相同的。近似值互模拟关系的目的是抓住最重要的。。。由近似值的精度给出互模拟. 这种精确性显著地提供了一个边界。。。
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • CoCasl涵盖了各种等效工艺(互模拟,虚弱互模拟观测同余和迹等价。。。
  • MWB公司

  • 参考33篇文章[sw04395]
  • MWB版本正在检查打开互模拟等价物。我们用。。。
  • SIGREF公司

  • 引用15篇文章[sw00859]
  • 最流行的计算方法相互刺激. 我们的方法是用BDDs符号实现的。。。非常大的过渡系统。的签名相互刺激是由一些普通的。。。其他类型的算法开发互模拟.\parWe提供了生存能力的实验证据。。。多种计算方法相互刺激在现实世界中。实验表明。。。
  • 霍普拉

  • 在14篇文章中引用[sw02330]
  • 过程是有能力的。它的操作语义,互模拟探讨了同余性质和表达能力。。。
  • SafeDpi公司

  • 引用13篇文章[sw01989]
  • 行为对等可以用相互刺激基于键入的操作。特征描述。。。
  • 双刺激子

  • 参考7篇文章[sw02526]
  • 双刺激子:用于实时等效性检查的模块化工具。等价性检验问题包括。。。
  • UnQL公司

  • 引用9篇文章[sw20018]
  • 基于价值平等,正式定义为互模拟. 结构递归被证明是不变的。。。
  • 安泰诺瓦

  • 引用8篇文章[sw06360]
  • 特别是通过案例研究相互刺激,以及从一个大规模的。。。
  • 裁判

  • 参考7篇文章[sw12439]
  • 特别是通过案例研究相互刺激,以及从一个大规模的。。。
  • PTSC公司

  • 参考6篇文章[sw13692]
  • 基于这个模型,我们定义了一个互模拟关系式,从中可以看出。。。
  • 法帕斯

  • 引用4篇文章[sw10957]
  • 系统——一种受互模拟算法”。另一方面,在FFaPAS中。。。
  • 游戏

  • 引用2篇文章[sw01409]
  • 全套等价/预定语义,包括:互模拟/模拟,弱互模拟/模拟,轨迹等价/预排序。。。
  • 椰林

  • 引用2篇文章[sw28719]
  • 关系的选择(称为互模拟)我们提出了一种自动证明共导定理的方法。。。互模拟然后运用泛化技术,激发。。。
  • 新霍普拉

  • 引用3篇文章[sw06992]
  • 它可以执行的路径。它的语义转换,互模拟探讨了同余性质和表达能力。。。
  • BFComp公司

  • 引用3篇文章[sw18654]
  • 在现实中的可判定性仿真对描述输入输出稳定性的函数。。。