文献
J-GLOBAL ID:201902248276957339
整理番号:19A1774261
VANETプロトコルのための形式的検証の評価的レビュー【JST・京大機械翻訳】
An Evaluative Review of the Formal Verification for VANET Protocols
著者 (3件):
Fakhfakh Faten
(ReDCAD, University of Sfax, Tunisia)
,
Tounsi Mohamed
(ReDCAD, University of Sfax, Tunisia)
,
Mosbah Mohamed
(LaBRI, University of Bordeaux, France)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2019
号:
IWCMC
ページ:
1209-1214
発行年:
2019年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)