Siphon-Based Verification of Component Compatibility.

Wlodek M. Zuberek

Published in: DepCoS-RELCOMEX (2009)

Keyphrases

database
model checking
neural network
special case
expert systems
real world
web services
three dimensional
data structure
multiresolution
temporal logic
formal methods
test generation
verification method