Sign in
Design and Verification ofWeb Services Compositions in the Telecommunication Domain.
Piergiorgio Bertoli
Laura Ferrari
Raman Kazhamiakin
Corrado Moiso
Marco Pistore
Ermes Thuegaz
Published in:
ICWS (2007)
Keyphrases
</>
web services
end users
design process
building blocks
case study
knowledge based systems
domain independent
formal verification
artificial intelligence
user interface
web applications
model checking
engineering design
web service composition