Realizability of Service Specifications.
Mohammad F. Al-hammouriGregor von BochmannPublished in: SAM (2018)
Keyphrases
- service providers
- real time
- formal specification
- protocol specification
- customer service
- service oriented
- high level
- web services
- information services
- delay insensitive
- database
- special case
- response time
- case study
- model checking
- service quality
- information retrieval
- network resources
- specification language
- neural network