Help
Help
雑誌電子情報通信学会技術研究報告 : 信学技報
Volume number113(421)-113(425):2014.1.30-2014.1.31
ArticleCISC型組込みアセ...

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

Icons representing 記事

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

(システム数理と応用)

Call No. (NDL)
Z16-940
Bibliographic ID of National Diet Library
025277964
Material type
記事
Author
竹下 淳ほか
Publisher
東京 : 電子情報通信学会
Publication date
2014-01
Material Format
Paper
Journal name
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(421):2014.1.30・31
Publication Page
p.65-70
View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Title
CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
Author/Editor
竹下 淳
小橋 潤平
山根 智
Series Title
システム数理と応用
Author Heading
竹下 淳
小橋 潤平
山根 智
Alternative Title
Bounded model checking based in SMT for CISC embedded assembly programs
Periodical title
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue
113(421):2014.1.30・31
Volume
113
Issue
421