Login / Signup
Compared Study of Two Correctness Proofs for the Standardized.
Béatrice Bérard
Laurent Fribourg
Francis Klay
Jean-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