你即將離開本站

並前往https://dl.acm.org/doi/abs/10.1145/971697.602299

Prism: a knowledge based system for semantic integrity ...

... semantic architecture of the PRISM system is described, together with the syntax and semantics of the constraint language PRISM is implemented in the C ...

確定！ 回上一頁

查詢 「prism semantics」的人也找了：

  1. prism variables
    2.
  2. prism model checker
    3.
  3. prism gui
    4.
  4. prism language
    5.
  5. prism mdp
    6.
  6. prism model checker tutorial
    7.
  7. ctmc prism
    8.
  8. prism user manual
    9.