Security management via Z and CSP

Gelijkaardige items

• Refinement in Object−Z and CSP
  door: Bolton, C, et al.
  Gepubliceerd in: (2002)
• Linking Z and CSP
  door: Hoare, C
  Gepubliceerd in: (2015)
• CSP and determinism in security modelling
  door: 1996
  Gepubliceerd in: (1996)
• Safety through Security
  door: Simpson, A, et al.
  Gepubliceerd in: (1998)
• Safety through Security
  door: Simpson, A, et al.
  Gepubliceerd in: (1998)