文献

J-GLOBAL ID：201302262599347959   整理番号：13A1221627

通信プロトコルの受動的試験に対する形式的データ中心アプローチ

A Formal Data-Centric Approach for Passive Testing of Communication Protocols

著者 (2件)： LALANNE Felipe (TELECOM SudParis, Evry, FRA) ,  MAAG Stephane (TELECOM SudParis, Evry, FRA)
資料名： IEEE/ACM Transactions on Networking  (IEEE/ACM Transactions on Networking)
巻： 21  号： 3  ページ： 788-801  発行年： 2013年06月 
JST資料番号： W0507A  ISSN： 1063-6692  CODEN： IEANEP  資料種別： 逐次刊行物 (A)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 通信プロトコル ,  試験