• 乌姆德斯

  • 引用346篇文章[sw09523]
  • 离散事件系统模型有限的-状态 自动机(FSA)。有一些操作程序。。。
  • 睫毛

  • 参考22篇文章[sw21269]
  • 列日自动机-基于符号处理程序(LASH):LASH是一个用于表示无限集的工具集。。。有限的-状态陈述,依赖于有限的-状态 自动机用于表示和操作无限集。。。
  • 埃斯特雷尔

  • 引用161篇[sw20012]
  • 将Esterel程序转换为有限的-状态机器。它是一个家庭的一员。。。系统,包括实时系统和控制自动机. esterelv5编译器可以用来。。。
  • dk.brics.自动机

  • 参考7篇文章[sw12040]
  • 这个Java包包含一个DFA/NFA(有限的-状态 自动机)使用Unicode字母表(UTF16。。。
  • OpenNWA公司

  • 引用3篇文章[sw33220]
  • 这有助于弥合有限的-状态 自动机还有推倒自动机. NWAs可以表达。。。理想的闭合特性有限的-状态 自动机. 本文介绍了OpenNWA,一个C++库。。。
  • 平方英尺

  • 引用4篇文章[sw33650]
  • 脚本解释器操作加权有限的-状态 自动机有大约100个不同的命令。(fsm2。。。
  • FSA公司

  • 引用3篇文章[sw09924]
  • 高效灵活的C++工具箱有限的 状态 自动机使用按需计算。在这个。。。创建和操作加权的算法有限的-状态 自动机. 工具箱是用。。。
  • 蟾蜍

  • 引用3篇文章[sw12648]
  • 组合博弈论。我们开发了有限的-状态 自动机在Maple包中实现的方法。。。
  • 有限状态机

  • 引用4篇文章[sw26448]
  • 有限的-状态接受器和传感器。有限的-状态传感器是自动机每次转换。。。
  • FSA公司

  • 参考第1条[sw21341]
  • 此包包含用于操作的函数有限的- 自动机(FSAs)。它包括最小化。。。
  • 乌帕阿尔提加

  • 在38篇文章中引用[sw12913]
  • 基于时间博弈的博弈求解自动机关于可达性和安全性。尽管。。。线性时间模型检验有限的-状态系统。在飞行中,符号算法。。。
  • GRM公司

  • 引用4篇文章[sw00391]
  • 有限的-状态传感器,在可能的情况下,读取并编译加权上下文无关语法到加权自动机...
  • 海迪

  • 引用3篇文章[sw11912]
  • 对先进验证技术的需求。混合的自动机干净正式的语言。。。动力。它们基于有限的-状态自动机结构丰富了不变量和流。。。
  • TravMC公司

  • 引用2篇文章[sw09396]
  • HORS)是有限的-状态以及下推模型检查。最近的工作。。。确定性平凡的HORSC模型检验问题自动机:自动机是否接受每棵树。。。
  • 圣杯

  • 引用19篇文章[sw00374]
  • Grail是一个符号计算环境有限的...
  • 语言

  • 引用36篇[sw00501]
  • 语言:一个枫树软件包,用于自动描述。。。