| Task: Verify timing [Oper] |
| |
 |
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 |  |
|