模型檢查
中 文 模型檢查
英 文 model checking
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 模型檢查 | model checking | 【電子計算機名詞】 |
| 模型檢查 | pattern checking | 【鑄造學】 |
| 比例模型調查 | scale model investigation | 【電子計算機名詞】 |
| 計量型檢查 | inspection by variables | 【電機工程】 |
| 計數型檢查 | inspection by attributes | 【電機工程】 |
| 類型檢查 | type checking | 【電子計算機名詞】 |
| 模10與模11檢查 | modulus 10 checking/modulus 11 checking | 【電子計算機名詞】 |
| 模9檢查 | modulo-nine's checking | 【電子計算機名詞】 |
| 模組檢查常式 | module checking routine | 【電子計算機名詞】 |
| 模組檢查 | module checking | 【電子計算機名詞】 |
| 模組檢查 | module check | 【電子計算機名詞】 |
| 模n檢查 | MOD n check | 【電子計算機名詞】 |
| 資料類型檢查 | data type checking | 【電子計算機名詞】 |
| 模型查詢翻譯器 | model query translator | 【電子計算機名詞】 |
| 查核風險模型；審計風險模型 | audit risk model | 【管理學名詞-會計學】 |
| 樣品，樣本，標本，模型，實例，從…取樣，抽樣，試用，抽查，試驗…的樣品性能 | sample | 【電力工程】 |
| 資訊搜尋與檢索模型 | information searching and search models | 【圖書館學與資訊科學大辭典】 |
| 誤差修正模型之Granger因果檢定；誤差修正模型之Granger因果關係檢定 | Granger causality test with error correlation model (ECM) | 【統計學名詞】 |
| 資訊檢索模型 | Information retrieval model | 【管理學名詞】 |
| 賀塞與布蘭查德情境領導模型 | Hersey and Blanchard's situational model of leadership | 【管理學名詞】 |