Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen.

Vesselka Duridanova Thorsten Hummel Olga Fengler Wolfgang Fengler

Published in: MBMV (2004)

Keyphrases

test set
massachusetts institute of technology
data sets
database
error rate
learning algorithm
training data
training set
data mining