整合型高速網路軟體工程環境之研究與設計---子計畫I：高速網路通訊協定之實證與驗證
Abstract
Description
Keywords
高速網路 , 協定實證 , 正規語言 , 協定驗證 , 擁擠排除 , 網路交互連接 , 服務品質 , High speed network , Validation , Formal language , Verification , Congestionresolvation , Internetworking , Quality of service , QOS