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)