Login / Signup
OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols
Christoph Meinel
Christian Stangier
Published in:
Universität Trier, Mathematik/Informatik, Forschungsbericht (1997)
Keyphrases
</>
communication protocols
data mining techniques
model checking
data sets
high dimensional data
statistical methods
database
data analysis
knowledge discovery
data sources
missing values
training data
peer to peer
data processing
human activities
formal verification