Incremental Protocol Specification Using the Reverse Verification Method
碩士 === 國立成功大學 === 資訊工程研究所 === 81 === Using the formal Communication Fintie State Machine (CFSM) model, a communication protocol consists of several communicating entities which can be represented in some CFSMs. Since communication technique...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1993
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/90713059385561084326 |