Applying a Formal Method in Industry: A 25-Year Trajectory.

Thierry Lecomte David Déharbe Étienne Prun Erwan Mottin

Published in: SBMF (2017)

Keyphrases

cost function
high accuracy
case study
main contribution
detection method
high precision
synthetic data
clustering method
experimental evaluation
preprocessing
computational complexity
objective function
denoising
model selection
computational cost
support vector machine svm
error rate