NUSMV的意思
「NUSMV」經常作為「New Symbolic Model Verifier」的縮寫來使用,中文意思:「新符號模型驗證器」。
NUSMV(新符號模型驗證器)詳細解釋
- 英文縮寫詞:NUSMV
- 英文單詞:New Symbolic Model Verifier
- 中文簡要解釋:新符號模型驗證器
- 分類:Computing
- 領域:Software