您的位置: 专家智库 > >

年小玲

作品数:1 被引量:0H指数:0
供职机构:西南交通大学计算机与通信工程学院更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇有限状态机
  • 1篇状态机
  • 1篇扩展有限状态...
  • 1篇EFSM

机构

  • 1篇攀枝花学院
  • 1篇西南交通大学

作者

  • 1篇游霞
  • 1篇刘霞
  • 1篇年小玲

传媒

  • 1篇攀枝花学院学...

年份

  • 1篇2006
1 条 记 录,以下是 1-1
排序方式:
消除EFSM中状态迁移不确定的方法
2006年
扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。
刘霞年小玲游霞
关键词:扩展有限状态机有限状态机
共1页<1>
聚类工具0