Login / Signup
On finite covering of infinite spaces for protocol test selection.
Masaaki Mori
Son T. Vuong
Published in:
PSTV (1994)
Keyphrases
</>
lightweight
finite sets
multi agent
finite number
statistical significance
real numbers
database
real time
data sets
selection algorithm
statistical tests
formal analysis
communication protocol