Extend Finite-State Machine Model of a Protocol
Each transition is specified as follows:
From State
When input
Provided Predicate
To State
Begin
Actions;
End
The actions include some program segments and output functions.
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本