Login / Signup

Compared Study of Two Correctness Proofs for the Standardized.

Béatrice BérardLaurent FribourgFrancis KlayJean-François Monin
Published in: Formal Methods Syst. Des. (2003)
Keyphrases
  • neural network
  • empirical studies
  • statistical analysis
  • databases
  • significant improvement
  • experimental study
  • database systems
  • simulation study
  • quantitative and qualitative