查詢結果分析
來源資料
相關文獻
- 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
- LCD背光型壓電陶瓷轉換器
- 電腦網路遠距教學之現況與發展
- 太陽能電力轉換器之研究
- 軟體無線電
- 電腦網路的天敵--淺談雷電的侵害及其防治方法
頁籤選單縮合
題 名 | An Estelle Translator for Incremental Protocol Verification=以漸進式協定驗證為目的之Estelle轉換器 |
---|---|
作 者 | 黃崇明; 許政穆; | 書刊名 | 中國工程學刊 |
卷 期 | 19:2 1996.03[民85.03] |
頁 次 | 頁179-192 |
分類號 | 448.6 |
關鍵詞 | 電腦網路; 協定工程; 協定驗證; 正規描述技術; 轉換器; Computer networks; Estelle; Protocol engineering; Protocol verification; Translator; |
語 文 | 英文(English) |