U-method
a-part : Test that each state possesses its own UIO sequence.
b-part: test that each transition is correctly implemented.
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本