Enhancing System Validation with Behavioural Types.

Published in: HASE (2002)

Keyphrases

real time
machine learning
case study
feature extraction
similarity measure
training data
bayesian networks
management system