Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HybridSystemBehavior |
| antecedent |
|
| (=> (systemBehavior ?System HybridSystemBehavior) (complexity ?System MultipleRequirementComplexity)) |
QoSontology.kif 1656-1658 | If the behavior of X is HybridSystemBehavior, then the complexity of X is multiple requirement complexity |
|