Artifact: Synchronization constraint
The synchronization constraint expressed in TADL.
Relationships
Tasks
Input To:
Verify and validate synchronization properties
Output From:
Create synchronization constraint proposal
Description
Main Description
This work product represents the synchronization constraint expressed in TADL.