查詢結果分析
相關文獻
- A Backward Protocol Verification Method and Its Applications
- An Estelle Translator for Incremental Protocol Verification
- EHPVS: A Protocol Verification System for Verifying Protocols Specified in Estelle
- VoIP的發展現況與應用
- A Hybrid Approach to Design Correct Communication Protocols
- 網路教室的架設與設定實務
- ADSL高速網路架構
- 第三層交換器的架構與運作
- 網際網路安全協定IPSec技術探討
- 電腦網路的終身學習環境
頁籤選單縮合
| 題 名 | A Backward Protocol Verification Method and Its Applications=反轉式協定驗證法及其應用 |
|---|---|
| 作 者 | 黃崇明; 黃敦泰; | 書刊名 | Journal of the Chinese Institute of Electrical Engineering |
| 卷 期 | 2:3 1995.08[民84.08] |
| 頁 次 | 頁153-168 |
| 分類號 | 448.6 |
| 關鍵詞 | 電腦網路; 通訊協定; 協定工程; 協定驗證; Computer networks; Communication protocols; Protocol engineering; Protocol verification; |
| 語 文 | 英文(English) |