Login / Signup
Acceptance sampling to aid in the verification of computational simulations.
Andrew J. Collins
Erika Frydenlund
Christopher J. Lynch
R. Michael Robinson
Published in:
Int. J. Model. Simul. Sci. Comput. (2022)
Keyphrases
</>
model checking
monte carlo
random sampling
sampling algorithm
sampling methods
face verification
concurrent systems
sampling strategy
formal verification
temporal logic
sample size
genetic algorithm
formal analysis
clustering algorithm
information systems
databases
fingerprint verification
real time