搜索筛选:
搜索耗时1.8462秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者:吴正湘,
来源:华东理工大学学报:自然科学版 年份:2001
研究CFSM模型的自动机语义,提出一种从CFSM到自动机转换的算法.该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步...
[学位论文] 作者:吴正湘,
来源:华东理工大学 年份:2002
嵌入式系统是一个包含软件和硬件的异质系统,该文研究形式化方法在嵌入式系统设计中的应用,重点是从较高的层次上进行规范、设计表示和验证,提出以形式化计算模型来规范系统...
[期刊论文] 作者:吴正湘,虞慧群,
来源:华东理工大学学报 年份:2001
研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的...
相关搜索: