Login / Signup

Model validation for embedded systems using formal method-aided simulation.

Daniel KarlssonPetru ElesZebo Peng
Published in: IET Comput. Digit. Tech. (2008)
Keyphrases
  • embedded systems
  • low cost
  • signal processing
  • computing power
  • real time systems