文献
J-GLOBAL ID:201302250148482013
整理番号:13A1853730
組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用~シミュレーションによるモデルの自動生成~
Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking-Generating the Model Automatically by Simulation-
著者 (3件):
公下亮佑
(金沢大)
,
山根智
(金沢大)
,
櫻井孝平
(金沢大)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
113
号:
269(SS2013 36-47)
ページ:
7-12
発行年:
2013年10月17日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)