Login / Signup
Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks.
Ulrich Ultes-Nitsche
Published in:
J. Syst. Softw. (1998)
Keyphrases
</>
formal verification
bounded model checking
model checking
social networks
decision support
user interaction
service discovery
web services
human computer interaction
service oriented
application level
artificial intelligence
intelligent systems
symbolic model checking