|
|
PDFダウンロードリンク |
講演名 |
2017-06-20 09:30
組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ~ □≦TIME q = □(q∧(time≦TIME)) ~ ○山根 智(金沢大) |
PDFダウンロードリンク |
CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 |
著作権について |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
|
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
|