论文部分内容阅读
基于模型检测工具NuSMV的功能测试用例生成方法
【出 处】
：
计算机应用
【发表日期】
：
2015年z2期
其他文献
随着改革开放的不断深入，在最近几十年的时间里，中国社会发生了巨大的变化。道德领域一方面取得了可喜的成绩，但另一方面也存在许多问题。在市场经济条件下，由于受到利益的驱动，参
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
语言文字是人类生活中重要的组成部分，更是语文学习的重要组成部分。语言文字的功能是不可低估的。小学语文教学的对象是少年儿童。这一阶段的少年儿童正处于语言发展的最佳年龄段，他们的记忆力特别强，模仿力也特别强。如果在语文课堂教学中让他们集中精力学习语言文字，则会收到最佳的学习效果。 我在平时语文的教学中会用到替换词语。替换词语就是把某一个词换成另外一些和它意思相近的词，再与原句比较，领略这个词特有的情
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
随着社会的发展、科技进步，知识产权越来越受到人们的重视。而商标权作为知识产权的重要内容，在商业活动日益繁荣的今天更是有着越来越重要的地位。“商标性使用”是商标法律制
随着信息时代的到来，在当今媒体形式繁多、变化不断的时代里，人们接受信息的方式已不仅仅局限于以往报刊、广播、电视等为代表的旧媒体，而是转而亲睐以互联网为代表的“第四媒体
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊