文献
J-GLOBAL ID:202202277738167422
整理番号:22A0929134
産業4.0アプリケーション用のセキュリティ完全性ラッパーの自動構築【JST・京大機械翻訳】
Automated construction of security integrity wrappers for Industry 4.0 applications
著者 (3件):
Nigam Vivek
(fortiss, GmbH, Munich, Germany)
,
Nigam Vivek
(Federal University of Paraiba, Joao Pessoa, Brazil)
,
Talcott Carolyn
(SRI International, CA, USA)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
126
ページ:
Null
発行年:
2022年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)