文献
J-GLOBAL ID:201802266897979346
整理番号:18A1144551
サイバー物理システムのモデルベース解析のためのPVS-Simulink統合環境【JST・京大機械翻訳】
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
著者 (3件):
Bernardeschi Cinzia
(Department of Information Engineering, University of Pisa, PI, Italy)
,
Domenici Andrea
(Department of Information Engineering, University of Pisa, PI, Italy)
,
Masci Paolo
(HASLab/INESC TEC and Universidade do Minho, Braga, Portugal)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
44
号:
6
ページ:
512-533
発行年:
2018年
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)