文献
J-GLOBAL ID:201702213714627502
整理番号:17A1773983
ASSERTTMを用いた飛行臨界ソフトウェアとシステムの開発【Powered by NICT】
Flight critical software and systems development using ASSERTTM
著者 (13件):
Siu Kit
(General Electric Global Research Center, Niskayuna, NY)
,
Moitra Abha
(General Electric Global Research Center, Niskayuna, NY)
,
Durling Michael
(General Electric Global Research Center, Niskayuna, NY)
,
Crapo Andy
(General Electric Global Research Center, Niskayuna, NY)
,
Li Meng
(General Electric Global Research Center, Niskayuna, NY)
,
Yu Han
(General Electric Global Research Center, Niskayuna, NY)
,
Herencia-Zapana Heber
(General Electric Global Research Center, Niskayuna, NY)
,
Castillo-Effen Mauricio
(General Electric Global Research Center, Niskayuna, NY)
,
Sen Shiraj
(General Electric Global Research Center, Niskayuna, NY)
,
McMillan Craig
(General Electric Aviation Systems, Grand Rapids, MI)
,
Russell Daniel
(General Electric Aviation Systems, Grand Rapids, MI)
,
Roy Sundeep
(General Electric Aviation Systems, Grand Rapids, MI)
,
Manolios Panagiotis
(Northeastern University, Boston, MA)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2017
号:
DASC
ページ:
1-10
発行年:
2017年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)