標題: | 整合型高速網路軟體工程環境之研究與設計---子計畫I:高速網路通訊協定之實證與驗證 Validation and Verification of High Speed Network Protocols |
作者: | 鍾乾癸 國立交通大學資訊工程研究所 |
關鍵字: | 高速網路;協定實證;正規語言;協定驗證;擁擠排除;網路交互連接;服務品質;High speed network;Validation;Formal language;Verification;Congestionresolvation;Internetworking;Quality of service;QOS |
公開日期: | 1996 |
官方說明文件#: | NSC85-2221-E009-062 |
URI: | http://hdl.handle.net/11536/96180 https://www.grb.gov.tw/search/planDetail?id=203016&docId=35445 |
Appears in Collections: | Research Plans |