ヘルプ
ヘルプ
雑誌電子情報通信学会技術研究報告 : 信学技報
巻号113(421)-113(425):2014.1.30-2014.1.31
記事CISC型組込みアセ...

CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査 (システム数理と応用)

記事を表すアイコン

CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査

(システム数理と応用)

国立国会図書館請求記号
Z16-940
国立国会図書館書誌ID
025277964
資料種別
記事
著者
竹下 淳ほか
出版者
東京 : 電子情報通信学会
出版年
2014-01
資料形態
紙
掲載誌名
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(421):2014.1.30・31
掲載ページ
p.65-70
すべて見る

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
記事
タイトル
CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
著者・編者
竹下 淳
小橋 潤平
山根 智
シリーズタイトル
システム数理と応用
著者標目
竹下 淳
小橋 潤平
山根 智
並列タイトル等
Bounded model checking based in SMT for CISC embedded assembly programs
タイトル（掲載誌）
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
巻号年月日等（掲載誌）
113(421):2014.1.30・31
掲載巻
113
掲載号
421