Title: 整合型高速網路軟體工程環境之研究與設計---子計畫I:高速網路通訊協定之實證與驗證
Validation and Verification of High Speed Network Protocols
Authors: 鍾乾癸
國立交通大學資訊工程研究所
Keywords: 高速網路;協定實證;正規語言;協定驗證;擁擠排除;網路交互連接;服務品質;High speed network;Validation;Formal language;Verification;Congestionresolvation;Internetworking;Quality of service;QOS
Issue Date: 1996
Gov't Doc #: 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