Login / Signup
Applying Formal Method in Mobile Protocol Testing.
Ari Ahtiainen
Published in:
TestCom (2002)
Keyphrases
</>
high accuracy
significant improvement
clustering method
experimental evaluation
cost function
prior knowledge
neural network
dynamic programming
mobile devices
objective function
similarity measure
pairwise
bayesian networks
support vector machine svm
data sets
detection method
test data