Tomonori KATO


Model Checking of Embedded Assembly Program Based on Simulation
Satoshi YAMANE Ryosuke KONOSHITA Tomonori KATO 
Publication:   
Publication Date: 2017/08/01
Vol. E100-D  No. 8  pp. 1819-1826
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
embedded assembly programmodel checkingsimulation
 Summary | Full Text:PDF(346.8KB)