查詢結果分析
來源資料
相關文獻
- An Estelle Translator for Incremental Protocol Verification
- EHPVS: A Protocol Verification System for Verifying Protocols Specified in Estelle
- A Backward Protocol Verification Method and Its Applications
- 電腦網路的終身學習環境
- A Comparative Analysis of Computer-Mediated Communication (CMC) Versus Non-CMC Texts Along the Dimension of Abstract vs. Non-Abstract Information
- 電腦網路遠距教學之現況與發展
- 電腦網路的天敵--淺談雷電的侵害及其防治方法
- 網路外部性與電腦網路服務
- 漫談電腦網路下單技術
- English Instruction Through Computer-Mediated Cross-Cultural Exchanges: A Model of Communicative Writing
頁籤選單縮合
題 名 | EHPVS: A Protocol Verification System for Verifying Protocols Specified in Estelle=EHPVS:一個用來驗證以Estelle描述的通訊協定之協定驗證系統 |
---|---|
作 者 | 黃崇明; 許政穆; | 書刊名 | 中國工程學刊 |
卷 期 | 18:3 1995.05[民84.05] |
頁 次 | 頁379-390 |
分類號 | 448.6 |
關鍵詞 | 電腦網路; 協定工程; 協定驗證; 正規描述技術; Computer networks; Protocol engineering; Protocol verification; Estelle; |
語 文 | 英文(English) |