Documenti analoghi
-
CSP and timewise refinement
di: Roscoe, A, et al.
Pubblicazione: (1991) -
Security management via Z and CSP
di: Simpson, A, et al.
Pubblicazione: (1998) -
On the expressive power of CSP refinement
di: Roscoe, A
Pubblicazione: (2003) -
SAT solving in CSP trace refinement
di: Palikareva, H, et al.
Pubblicazione: (2012) -
SAT−solving in CSP trace refinement
di: Palikareva, H, et al.
Pubblicazione: (2011)