Automatic Checking of Component Protocols in Component-Based Systems.

Wolf Zimmermann Michael Schaarschmidt

Published in: SC@ETAPS (2006)

Keyphrases

communication protocols
neural network
artificial intelligence
management system
intelligent systems
computer systems
semi automatic
database
real world
data mining
decision trees
software development
data driven
wireless networks
complex systems
distributed databases