Task: Verify timing [Impl] |
| |
 |
Direct and Derived timing properties are compared with the (transformed) Timing Requirements
|
|
Relationships
Inputs | Mandatory:
| Optional:
| External:
|
Outputs |
|
Properties
Predecessor |
|
Multiple Occurrences |  |
Event Driven |  |
Ongoing |  |
Optional |  |
Planned |  |
Repeatable |  |
|