面向系统能力的形式化分析和测试方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:sunlang110
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
期刊
期刊
对于开展初中数学教学工作来说,培养学生综合素质至关重要,而实现有效阅读则更具有基础性作用.本文对如何更好地培养学生数学阅读能力进行了研究和分析,在简要分析培养初中学
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
2016的篇章正式开启,如何用完美姿态迎接新年?为了迎接春节的来临,格格品牌推出了“红运当头”系列,为所有喜爱中式传统文化的朋友送上最诚挚的祝福,开启你的新年“红”运之旅。
期刊
期刊
期刊