Order Article Reprints
Journal: Electronics, 2020
Volume: 9
Number: 1060
Article:
Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions
Authors:
by
Satoshi Yamane, Junpei Kobashi and Kosuke Uemura
Link:
https://www.mdpi.com/2079-9292/9/7/1060
MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover
and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article
and designed to be complimentary to the journal.