搜索筛选:
搜索耗时1.2638秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者:DONG Huanzhen,董焕珍,LI Jinhua,李劲华,MA Zhibing,马志兵,
来源:第19届全国计算机新科技与计算机教育学术大会 年份:2008
扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件,通过EFSM可以更加精确地刻画软件系统的动态行为。由于前置条件的存在,EFSM中的状态迁移可能存在不确定性。论文针对扩展有限状态机中状......
相关搜索: