#
Type
Model Item
Description
Test Case
43
Condition
Chart. “[ux > 5 & uz ≥ 1]”
Transition: Condition 2, “uz ≥ 1” F
n/a