- 一種基于模型檢查的嵌入式軟件驗證方法, 嵌入式軟件廣泛應用于不同領域,如消費電子、工業控制、汽車電子、移動通信等。嵌入式軟件的可靠性保證十分關鍵。嵌入式軟件中常見的錯誤包括狀態機錯誤、時序錯誤、棧溢出/存儲溢出等,在開發過程中對嵌入式軟
- 關鍵字:
驗證 方法 軟件 嵌入式 模型 檢查 基于
- 將近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