Copyright
©
2001 IFSL University of Magdeburg
IFSL - UMD
IEPAL
Example: traffic crossing
Cases
-
describe a system’s or process’ state in a more
complex and entire way;
-
combine evaluation results of relevant conditions
using the Boolean “AND”