A methodology for model−checking ad−hoc networks

Slični predmeti

• Watchdog Transformations for Property−Oriented Model−Checking
  od: Goldsmith, M, i dr.
  Izdano: (2003)
• Watchdog transformations for property−oriented model−checking
  od: Goldsmith, M, i dr.
  Izdano: (2003)
• Watchdog transformations for property−oriented model checking
  od: Roscoe, A, i dr.
  Izdano: (2003)
• Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract
  od: Zakiuddin, I, i dr.
  Izdano: (2003)
• Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
  od: Roscoe, A, i dr.
  Izdano: (1995)