Automatic Derivation and Verification of Synchronization Aspects in Object Oriented Systems - PowerPoint PPT Presentation

1 / 115
} ?>
View by Category
About This Presentation
Title:

Automatic Derivation and Verification of Synchronization Aspects in Object Oriented Systems

Description:

Automatic Derivation and Verification of Synchronization Aspects in ... Specific Notification (Cargill, 1996) Java monitor. c2.wait( ); synchronized. methods ... – PowerPoint PPT presentation

Number of Views:35
Avg rating:3.0/5.0
Slides: 116
Provided by: masaaki9
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com