Verification of Component Behavioral Compatibility.

Donald C. Craig Wlodzimierz M. Zuberek

Published in: DepCoS-RELCOMEX (2007)

Keyphrases

model checking
neural network
software components
asynchronous circuits
real time
data sets
information systems
image processing
search algorithm
formal methods