• 乌姆德斯

  • 引用346篇文章[sw09523]
  • 离散事件系统的有限状态建模自动机(FSA)。有一些操作程序。。。
  • 高超声速

  • 引用文献322篇[sw04125]
  • 混合动力系统被指定为自动机有离散和连续的成分,还有时间。。。
  • 克洛诺斯

  • 引用259篇文章[sw01270]
  • 实时系统是用时间来建模的自动机并给出了正确性要求。。。
  • 莫纳

  • 参考文献118篇[sw06170]
  • 年,包括配方减量,达格化,导向树自动机,三值逻辑,急切最小化,基于BDD的。。。自动机表示和缓存感知数据结构。我们描述这些技术并量化它们各自的。。。
  • 埃斯特雷尔

  • 引用161篇[sw20012]
  • 系统,包括实时系统和控制自动机. esterelv5编译器可以用来。。。
  • LTL2BA

  • 引用97篇文章[sw10956]
  • 快速LTL到Büchi自动机翻译。我们提出了一种生成Büchi的算法自动机从。。。
  • 廷布克

  • 引用46篇文章[sw06351]
  • 术语重写系统与树操作自动机(自下而上的非确定性有限树自动机... 全新版本的树自动机用于可达性分析的完成引擎。老廷巴克尔。。。树上基本操作的Caml函数自动机字母表,术语,术语重写系统。。。
  • 特雷克斯

  • 引用了45篇文章[sw01388]
  • 自动分析工具自动机-基于模型的变量属于不同的无限/有限。。。当前时间,参数(连续时间)定时自动机,用整数计数器和有限域变量扩展。。。
  • XDuce公司

  • 引用54篇文章[sw12436]
  • 正则树理论基础自动机,并给出一个完整的形式定义。。。
  • 验证

  • 引用31篇文章[sw02011]
  • 自动验证定时的原始工具自动机在一个子集里写的协议。。。原始中间语言(IL),或定时自动机在Kronos的格式中可以使用。。。规范可以转换为定时自动机,传递给其他Verics组件。。。将可达性问题转化为定时问题自动机对于命题公式的可满足性问题。。。
  • 反链

  • 27条引用【sw20208】
  • 有限元的普适性检验算法自动机. 我们提出并评估了一种新的算法。。。非确定性有限元的普适性检验自动机. 与标准算法相比,标准算法使用。。。非确定性有限元的语言包含问题自动机,以及交替有限元的空问题自动机...
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 基于扩展时间的中间表示语言自动机. 特别是,这种陈述允许。。。
  • MIO工作台

  • 引用了29篇文章[sw09762]
  • 该方法结合了两种模态的优点自动机和接口自动机,两个主要的规范理论。。。
  • 梅拉·凯伊

  • 引用了40篇文章[sw03709]
  • 混合程序,混合语言的程序符号自动机. 为了自动化验证过程,keymera实现了。。。
  • 斑点

  • 引用24篇文章[sw09473]
  • 基于转换的广义Büchi方法检测库自动机. 斑点(斑点产生我们的痕迹。。。依赖于基于转换的广义Büchi自动机(TGBA)而且不需要使这些。。。自动机检查他们的空虚。我们通过说明一个非常。。。
  • 海斯德尔

  • 引用了37篇文章[sw05200]
  • 用线性动力系统的相互联系来描述,自动机还有命题逻辑。。。
  • 语言

  • 引用36篇[sw00501]
  • 加工用枫木包装自动机有限半群。。。
  • 帝王

  • 引用18条[sw00791]
  • 库以随机和穷尽方式生成自动机. C++库REGAL致力于。。。有限确定性的随机穷举生成自动机. 随机产生自动机... 例如,用于测试自动机,以实验研究算法的平均复杂度。。。处理自动机或者比较同一算法的不同实现。精力充沛的一代。。。
  • 政治公众人物

  • 在34篇文章中引用[sw03186]
  • 用于分析随机性的软件工具自动机网络(SAN)模型。在它的连续版本中。。。