A Simulation-Based ATM Protocol Verification Method
碩士 === 國立交通大學 === 工業教育學系 === 85 === The existing protocol verification methods can be divided into two ty-pes: static analysis and physical measurement. The defect of the former is that it can be applied to local protocol verification only. The defect of...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1997
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/55139774661551124580 |