-
马蒂斯
- 引用25篇文章[sw06311]
- 用近似法抽象线性系统的框架互模拟关系[1,2,3,4]。相反。。。基于语言包含或精确的细化互模拟关系,近似值互模拟关系不需要。。。抽象是完全相同的。近似值互模拟关系的目的是抓住最重要的。。。由近似值的精度给出互模拟. 这种精确性显著地提供了一个边界。。。
-
SIGREF公司
- 引用15篇文章[sw00859]
- 最流行的计算方法相互刺激. 我们的方法是用BDDs符号实现的。。。非常大的过渡系统。的签名相互刺激是由一些普通的。。。其他类型的算法开发互模拟.\parWe提供了生存能力的实验证据。。。通过为许多人提供计算结果的方法相互刺激在现实世界中。实验表明。。。
-
游戏
- 引用2篇文章[sw01409]
- 全套等价/预定语义,包括:互模拟/模拟,弱互模拟/模拟,轨迹等价/预排序。。。
-
椰林
- 引用2篇文章[sw28719]
- 关系的选择(称为互模拟). 我们提出了一种自动证明共导定理的方法。。。对互模拟然后运用泛化技术,激发。。。