搜索筛选:
搜索耗时4.4944秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：Huang Benwen,
来源：武汉大学学报：自然科学英文版 年份：1997
ＴｈｅＣｈａｒａｃｔｅｒｉｚａｔｉｏｎｏｆＡ５⒇ＨｕａｎｇＢｅｎｗｅｎＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＷｕｈａｎＵｎｉｖｅｒｓｉｔｙ，Ｗｕｈａｎ４３００７２，ＣｈｉｎａＡｂｓｔｒａｃｔＴｈｅｃｈａｒａｃｔｅｒｉｚａｔｉｏｎｏｆＡ５ｉｓ.........
[期刊论文] 作者：YU Chao,HUANG Benwen,WU Guoqin,
来源：武汉大学学报：自然科学英文版 年份：2006
纸基于要求描述论述复杂即时软件的一个动态实行模型为 RTRSM 建模，然后基于盖住的配置和它的相应算法建议一个检查方法。这个检查方法罐头在即时软件系统的动态执行步检查在...
相关搜索：
