Login / Signup

Exploiting the ASM Method for Validation & Verification of Embedded Systems.

Angelo GargantiniElvinia RiccobenePatrizia Scandurra
Published in: ABZ (2008)
Keyphrases
  • computing systems
  • embedded systems
  • verification method
  • signal processing
  • computing power