文献
J-GLOBAL ID:200902281468081807
整理番号:04A0776236
組み込みリアルタイムソフトウェアの設計および検証のためのアプリケーションフレームワーク
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
著者 (6件):
HSIUNG P-A
(National Chung Cheng Univ., Chiayi, TWN)
,
LIN S-W
(National Chung Cheng Univ., Chiayi, TWN)
,
TSENG C-H
(National Chung Cheng Univ., Chiayi, TWN)
,
LEE T-Y
(National Taipei Univ. Technol., Taipei, TWN)
,
FU J-M
(Cheng Shiu Univ., Kaohsiung County, TWN)
,
SEE W-B
(Aerospace Industrial Dev. Corp., Taichung, TWN)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
30
号:
10
ページ:
656-674
発行年:
2004年10月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)