Model Checking of Embedded Assembly Program Based on Simulation

Title
Model Checking of Embedded Assembly Program Based on Simulation
Authors
Keywords
-
Journal
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
Volume E100.D, Issue 8, Pages 1819-1826
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Online
2017-08-01
DOI
10.1587/transinf.2016edp7452

Ask authors/readers for more resources

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started