Login / Signup

A framework for specifying, modeling, implementation and verification of SOC protocols.

Shahid IkramDavid AsherIsam AkkawiJack PerveilerJim Ellis
Published in: SoCC (2014)
Keyphrases
  • modeling framework
  • lightweight
  • real time
  • search engine
  • database
  • data sets
  • databases
  • database systems
  • probabilistic model
  • software engineering
  • main contribution
  • dynamic bayesian networks