搜索筛选:
搜索耗时0.0668秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：郑建华,李迪,肖舒华,苏兆港,,
来源：制造业自动化 年份：2007
实时嵌入式系统的重时间特性决定了在系统设计时需对系统作确定性验证。本文分析了不同的验证方法后认为形式化验证中基于时间自动机的模型检验方法最适用于实时嵌入式系统的...
[期刊论文] 作者：郑建华,李迪,朱蓉,肖苏华,苏兆港,,
来源：计算机科学 年份：2008
在分析传统嵌入式数控的开发方法上的不足，以及目前对其开发方法的诸多变革的基础上，提出并实现将特定领域模型驱动开发融入到嵌入式数控系统的开发，构建了嵌入式数控系统模型层......
相关搜索：
