Design and Verification of Web Services Compositions.

Enrique Martínez María-Emilia Cambronero Gregorio Díaz Valentín Valero

Published in: ICIW (2009)

Keyphrases

web services
real time
database
neural network
real world
knowledge based systems
functional verification
artificial intelligence
case study
building blocks
model checking
design principles
engineering design
architectural model