CSP−based counter abstraction for systems with node identifiers

Benzer Materyaller

• CSP-based counter abstraction for systems with node identifiers
  Yazar:: Mazur, T, ve diğerleri
  Baskı/Yayın Bilgisi: (2014)
• Counter abstraction in the CSP/FDR setting
  Yazar:: Mazur, T, ve diğerleri
  Baskı/Yayın Bilgisi: (2009)
• Counter Abstraction in the CSP/FDR setting
  Yazar:: Mazur, T, ve diğerleri
  Baskı/Yayın Bilgisi: (2007)
• Formal verification of not fully symmetric systems using counter abstraction
  Yazar:: Mazur, T
  Baskı/Yayın Bilgisi: (2008)
• Extending CSP with tests for availability
  Yazar:: Lowe, G
  Baskı/Yayın Bilgisi: (2009)