文献
J-GLOBAL ID:202102252079924611
整理番号:21A0232274
安全臨界システムのための静的および検証可能メモリ分割【JST・京大機械翻訳】
Static and Verifiable Memory Partitioning for Safety-Critical Systems
著者 (2件):
Guyomarc’h Jean
(Krono-Safe, Universite ́ Paris-Saclay / CNRS / SATIE,Massy,France)
,
Herve Jean-Baptiste
(Krono-Safe,Massy,France)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
ISSREW
ページ:
79-84
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)