- 一种基于模型检查的嵌入式软件验证方法, 嵌入式软件广泛应用于不同领域，如消费电子、工业控制、汽车电子、移动通信等。嵌入式软件的可靠性保证十分关键。嵌入式软件中常见的错误包括状态机错误、时序错误、栈溢出／存储溢出等，在开发过程中对嵌入式软
- 关键字：
验证 方法 软件 嵌入式 模型 检查 基于
- 将近30年以来，美国能源部 (DOE) 一直通过针对低收入家庭实施“节能援助计划”从而为他们节省能源。这一节能援助计划由美国能源部提供资金支持，但通过各个州进行管理。低收入家庭节能援助计划包括基于对住宅进行能量检查的全面节能措施。他们所采取的是一种“整体家庭方法”，包括各种各样的能效提高措施，并逐渐形成一个可使每个人都享受高能效家庭的不断增长的产业。在他们进行住宅能量检查时使用的工具当中，就包括手持式热成像仪。
- 关键字：
空气 泄漏 检查 进行 系统 红外 HVAC 利用
- 中国政府管理部门突击检查涉嫌侵犯BLUETOOTH SIG注册商标的企业 保护注册商标对产品创新的未来至关重要 Bluetooth SIG（蓝牙技术联盟）宣布近日成功地对中国深圳一家涉嫌侵犯其注册商标的企业进行了突击检查和取证。该家企业涉嫌在未经Bluetooth SIG授权以及未经过Bluetooth认证流程（Bluetooth Qualification Program）认证的情况下生产带有Bluetooth商标标志的Bluetooth产品。Bluet
- 关键字：
BLUETOOTH SIG 管理 检查 企业 侵犯 通讯 网络 无线 中国 注册商标
检查介绍
您好，目前还没有人创建词条检查!
欢迎您创建该词条，阐述对检查的理解，并与今后在此搜索检查的朋友们分享。
创建词条
关于我们 -
广告服务 -
企业会员服务 -
网站地图 -
联系我们 -
征稿 -
友情链接 -
手机EEPW
Copyright ©2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《电子产品世界》杂志社 版权所有 北京东晓国际技术信息咨询有限公司
京ICP备12027778号-2 北京市公安局备案：1101082052 京公网安备11010802012473
