FDR:失败分歧细化

FDR是“Failures Divergences Refinement”的常用缩写,主要用于计算机科学中的形式化方法与进程代数领域,以方便快捷地进行书写和交流。其对应的中文译名为“失败分歧细化”,常出现在系统验证和模型检测相关的研究中,用于描述进程间行为关系的一种精化方法。

Failures Divergences Refinement具体释义

  • 英文缩写:FDR
  • 英语全称:Failures Divergences Refinement
  • 中文意思:失败分歧细化
  • 中文拼音
  • 相关领域fdr 未分类的

Failures Divergences Refinement的英文发音