Նմանատիպ նյութեր
-
CSP-based counter abstraction for systems with node identifiers
: Mazur, T, և այլն
Հրապարակվել է: (2014) -
Counter abstraction in the CSP/FDR setting
: Mazur, T, և այլն
Հրապարակվել է: (2009) -
Counter Abstraction in the CSP/FDR setting
: Mazur, T, և այլն
Հրապարակվել է: (2007) -
Formal verification of not fully symmetric systems using counter abstraction
: Mazur, T
Հրապարակվել է: (2008) -
Extending CSP with tests for availability
: Lowe, G
Հրապարակվել է: (2009)