文献
J-GLOBAL ID:201202268016408336
整理番号:12A0807003
AUTOSAR互換性に対する形式手法ベース承認テスト
Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
著者 (4件):
SVENNINGSSON Rickard
(SP Technical Res. Inst of Sweden)
,
JOHANSSON Rolf
(SP Technical Res. Inst of Sweden)
,
ARTS Thomas
(Quviq AB)
,
NORELL Ulf
(Quviq AB)
資料名:
SAE Technical Paper Series (Society of Automotive Engineers)
(SAE Technical Paper Series (Society of Automotive Engineers))
ページ:
5P
発行年:
2012年
JST資料番号:
D0244B
ISSN:
0148-7191
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)