文献
J-GLOBAL ID:202002212791901565
整理番号:20A1905468
航空機通信ネットワークの安全性,セキュリティおよびアベイラビリティのための形式的フレームワーク【JST・京大機械翻訳】
Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks
著者 (2件):
Dureja Rohit
(Iowa State University, Ames, Iowa 50011)
,
Rozier Kristin Yvonne
(Iowa State University, Ames, Iowa 50011)
資料名:
Journal of Aerospace Information Systems
(Journal of Aerospace Information Systems)
巻:
17
号:
7
ページ:
322-335
発行年:
2020年
JST資料番号:
W5673A
ISSN:
2327-3097
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)