Login / Signup

Models and formal verification of multiprocessor system-on-chips.

Aske Wiid BreklingMichael R. HansenJan Madsen
Published in: J. Log. Algebraic Methods Program. (2008)
Keyphrases
  • formal verification
  • complex systems
  • model checking
  • statistical models
  • neural network
  • artificial intelligence
  • model selection
  • model checker