Login / Signup
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.
Bernard Schmidt
Carlos Villarraga
Thomas Fehmel
Dominik Stoffel
Wolfgang Kunz
Jörg Bormann
Published in:
MBMV (2013)
Keyphrases
</>
low level
probabilistic model
high level
computational model
objective function
management system
mathematical model
metamodel
hardware and software
personal computer
hardware implementation