搜索筛选:
搜索耗时5.0163秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：JI Zheng,LI Hui-yong,CHEN Yi-x,
来源：计算机应用研究 年份：2004
物联网以及信息物理融合系统对形式化建模提出了新的挑战，引入了实时系统规范语言STeC，为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换...
相关搜索：
