Documents similaires
-
CSP-based counter abstraction for systems with node identifiers
par: Mazur, T, et autres
Publié: (2014) -
Counter abstraction in the CSP/FDR setting
par: Mazur, T, et autres
Publié: (2009) -
Counter Abstraction in the CSP/FDR setting
par: Mazur, T, et autres
Publié: (2007) -
Formal verification of not fully symmetric systems using counter abstraction
par: Mazur, T
Publié: (2008) -
Extending CSP with tests for availability
par: Lowe, G
Publié: (2009)