文献
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)