文献
J-GLOBAL ID:202102227666436056
整理番号:21A0080361
形式的検証とスケジューリング可能性解析の間のギャップの橋渡し:ロボットの事例【JST・京大機械翻訳】
Bridging the gap between formal verification and schedulability analysis: The case of robotics
著者 (2件):
Foughali Mohammed
(Universite Grenoble Alpes, CNRS, VERIMAG, Grenoble, France)
,
Hladik Pierre-Emmanuel
(LAAS-CNRS, Universite de Toulouse, CNRS, Toulouse, France)
資料名:
Journal of Systems Architecture
(Journal of Systems Architecture)
巻:
111
ページ:
Null
発行年:
2020年
JST資料番号:
A0883A
ISSN:
1383-7621
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)