NUSMV：新符号模型验证器

“New Symbolic Model Verifier”经常缩写成NUSMV，以便快捷书写、使用。

常见于计算机领域 ,和软件相关。

中文意思为：“新符号模型验证器”。

New Symbolic Model Verifier : 新符号模型验证器

New Symbolic Model Verifier具体释义

  1. 英文缩写：NUSMV
  2. 英语全称： New Symbolic Model Verifier
  3. 英语发音：
  4. 美式英语发音：
  5. 英式英语发音：
  6. 中文意思：新符号模型验证器
  7. 中文拼音：xīn fú hào mó xíng yàn zhèng qì
  8. 常用领域：计算机
  9. 相关：软件

声明：

本站的英语缩略词，为个人收集、整理，允许非商业性质的复制、使用、转发分享等。
但严禁采集、批量盗用。
如果NUSMV这个缩略词条信息有错误、不当、侵犯的地方，请联系我们进行处理。