搜索筛选:
搜索耗时0.0356秒,为你在为你在61,042,061篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：慕长林,
来源：科技资讯 年份：2009
本文首先介绍断言验证技术,对断言的特点及使用方法进行详细介绍,然后讲解OVA的语法结构,以及如何在测试平台中加入断言文件,并以交通灯为例,进行断言分析。...
[期刊论文] 作者：慕长林,
来源：黑龙江科技信息 年份：2009
电装实习作为高校教学体系的重要主成部分，是培养学生实践动手能力的重要途径。阐述了电装实习的基本方法，并分析了目前电装实习教学中存在的一些问题，提出了改善学习设施，优化学......
相关搜索：
