你即將離開本站

並前往https://www3.hhu.de/stups/handbook/rodin/current/html/tut_refinement.html

Rodin User's Handbook v.2.8: Refinement

Refinement is a central concept in Event-B. Refinements are used to gradually introduce the details and complexity into a model. If a machine B refines a ...

確定！ 回上一頁

查詢 「Refinement」的人也找了：

  1. refinements中文
    2.
  2. refinement意思
    3.
  3. refinement例句
    4.
  4. Refine
    5.
  5. refinement數學
    6.
  6. Refinement
    7.
  7. refinement會議
    8.
  8. refine中文
    9.