Sign in

Generation of Abstract Driver Models for IP Integration Verification.

Thomas FehmelDominik StoffelWolfgang Kunz
Published in: IEEE Trans. Emerg. Top. Comput. (2020)
Keyphrases
  • experimental data
  • model checking
  • databases
  • genetic algorithm
  • relational databases
  • probabilistic model
  • graphical models
  • accurate models