Checking Concurrent Contracts with Aspects

類似資料

• Checking concurrent contracts with aspects
  著者:: Kerfoot, E, 等
  出版事項: (2010)
• Maintaining Invariants Through Object Coupling Mechanisms
  著者:: Kerfoot, E, 等
  出版事項: (2007)
• Deadlock Freedom Through Object Ownership
  著者:: Kerfoot, E, 等
  出版事項: (2009)
• New methods of concurrent checking /
  著者:: Goessel, Michael
  出版事項: (2008)
• Model Checking Concurrent Linux Device Drivers
  著者:: Witkowski, T, 等
  出版事項: (2007)