Login / Signup
The 'Cash-Point' Service: A Verification Case Study Using STeP.
Anca Browne
Bernd Finkbeiner
Zohar Manna
Henny Sipma
Published in:
Formal Aspects Comput. (2000)
Keyphrases
</>
case study
protocol specification
lessons learned
service quality
software development
information systems
service composition
end users
data sets
design process
model checking
service providers
service discovery
information services
service oriented
image sequences
web services
artificial intelligence
data mining