Formal modeling and verification of a Third Generation Mobile Communication Protocol
碩士 === 國立臺灣大學 === 電機工程學研究所 === 92 === This thesis introduces how formal verification technology is used in the protocol software design included protocol design and implementation. We aim at developing a set of golden formal models for protocol software. The set of models can then be used in sever...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2004
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/cyyp32 |