文献
J-GLOBAL ID:201002273094875179
整理番号:10A0781685
工業用制御ロジックコンポーネントの形式仕様および検証
Formal Specification and Verification of Industrial Control Logic Components
著者 (4件):
LJUNGKRANTZ Oscar
(Chalmers Univ. Technol., Goeteborg, SWE)
,
AKESSON Knut
(Chalmers Univ. Technol., Goeteborg, SWE)
,
FABIAN Martin
(Chalmers Univ. Technol., Goeteborg, SWE)
,
YUAN Chengyin
(General Motors, MI, USA)
資料名:
IEEE Transactions on Automation Science and Engineering
(IEEE Transactions on Automation Science and Engineering)
巻:
7
号:
3
ページ:
538-548
発行年:
2010年07月
JST資料番号:
W1406A
ISSN:
1545-5955
CODEN:
ITASC7
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)