Login / Signup
Evaluating the Effectiveness of Independendent Verification and Validation.
James D. Arthur
Markus K. Gröner
Kelly J. Hayhurst
C. Michael Holloway
Published in:
Computer (1999)
Keyphrases
</>
model checking
three dimensional
data structure
lower bound
machine learning
image sequences
multiresolution
formal verification