Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption

Slični predmeti

• Translating CSP trace refinement to UNITY unreachability : a study in data independence
  od: Roscoe, A, i dr.
  Izdano: (2015)
• Assumption-commitment support for CSP model checking
  od: Moffat, N, i dr.
  Izdano: (2008)
• Assumption−Commitment Support for CSP Model Checking
  od: Moffat, N, i dr.
  Izdano: (2006)
• Assumption–Commitment Support for CSP Model Checking
  od: Moffat, N, i dr.
  Izdano: (2008)
• Assumption−Commitment Support for CSP Model Checking
  od: Moffat, N, i dr.
  Izdano: (2008)