CFSM模型相关论文
嵌入式系统是一个包含软件和硬件的异质系统,该文研究形式化方法在嵌入式系统设计中的应用,重点是从较高的层次上进行规范、设计表......
研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出......
研究CFSM模型的自动机语义,提出一种从CFSM到自动机转换的算法.该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动......
随着嵌入式系统的速度、复杂度的上升,软硬件协同设计已经越来越广泛地应用于各种嵌入式系统的设计当中.介绍了一种基于常用的FSM......
