Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/模型校驗/56035385
模型校驗
鎖定
模型校驗(model checking)是1990年公佈的自動化科學技術名詞。
中文名
模型校驗
外文名
model checking
所屬學科
自動化科學技術
公佈時間
1990年
目錄
1
公佈時間
2
出處
模型校驗
公佈時間
1990年,經全國科學技術名詞審定委員會審定發佈。
模型校驗
出處
《自動化名詞》第一版。
[1]
參考資料
1.
模型校驗
.術語在線
[引用日期2021-02-10]
圖集
模型校驗的概述圖(1張)
詞條統計
瀏覽次數:
次
編輯次數:2次
歷史版本
最近更新:
healer199896
(2022-03-31)
1
公佈時間
2
出處
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄