ARTICLE
|
doi:10.20944/preprints202310.0337.v1
Subject:
Computer Science And Mathematics,
Software
Keywords:
model checking; embedded assembly program; reduction of interrupt handler executions
Online: 6 October 2023 (10:00:30 CEST)