Sign in

Dynamic verification of Multicore Communication applications in MCAPI.

Subodh SharmaGanesh GopalakrishnanEric Mercer
Published in: HLDVT (2009)
Keyphrases
  • dynamic environments
  • communication networks
  • data sets
  • databases
  • neural network
  • website
  • data processing
  • model checking
  • communication systems
  • formal methods