Verification of Consistency between Concurrent Program Designs and Their Requirements: Slide 2 of 28.
Click slide for next, or goto
previous,
first,
last slides or
back to thumbnail layout.
Click slide for next, or goto
previous, or
back to thumbnail layout.