Login / Signup
Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation.
Matthias Krause
Dominik Englert
Oliver Bringmann
Wolfgang Rosenstiel
Published in:
CODES+ISSS (2008)
Keyphrases
</>
probabilistic model
database
artificial intelligence
software engineering
distributed systems
computer systems
instruction set