DependentTaskRelation
|
|
Sigma KEE - DependentTaskRelation
DependentTaskRelation
|
An instance of RealtimeSystem is described as Dependent-TaskRelation if it depends on at least one other function in the system, that is, its correct execution depends on the input from another function, the execution state of another function, or the acceptance of its outputs by another function.
|
Show full definition (without tree view)
Show full definition (with tree view)
|