Documenti analoghi
Documenti analoghi
-
CSP-based counter abstraction for systems with node identifiers
di: Mazur, T, et al.
Pubblicazione: (2014) -
Counter abstraction in the CSP/FDR setting
di: Mazur, T, et al.
Pubblicazione: (2009) -
Counter Abstraction in the CSP/FDR setting
di: Mazur, T, et al.
Pubblicazione: (2007) -
Formal verification of not fully symmetric systems using counter abstraction
di: Mazur, T
Pubblicazione: (2008) -
Extending CSP with tests for availability
di: Lowe, G
Pubblicazione: (2009)