Login / Signup

An empirical Bayesian stopping rule in testing and verification of behavioral models.

Mehmet Sahinoglu
Published in: IEEE Trans. Instrum. Meas. (2003)
Keyphrases
  • behavioral models
  • model checking
  • architectural models
  • real time
  • databases
  • hierarchical structures
  • association rules
  • database
  • decision making
  • xml documents
  • conceptual model
  • dynamic behaviors
  • dynamically created