QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序提交时间升序提交时间降序题名升序题名降序作者升序作者降序 A Survey of Formal Techniques for Hardware/Software Co-verification 会议论文 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08 作者:  Liu, Kun;  Kong, Weiqiang;  Hou, Gang;  Fukuda, Akira 收藏  |  浏览/下载：14/0  |  提交时间：2019/12/02 Automotive industry  Embedded systems  Model checking  Surveys, Co-designs  Co-verification  Formal techniques  Hardware/software  Integration of hardware and softwares  Low level softwares  Property Specification  Simulation and testing, Formal verification   A comparison of methods for the measurement of CO2 and CH4 emissions from surface water reservoirs: Results from an international workshop held at Three Gorges Dam, June 2012 期刊论文 LIMNOLOGY AND OCEANOGRAPHY-METHODS, 2015, 卷号: 13, 页码: 51-71 作者:  Zhao, Yan;  Sherman, Bradford;  Ford, Phillip;  Demarty, Maud;  DelSontro, Tonya 收藏  |  浏览/下载：22/0  |  提交时间：2016/04/20