Formal methods for communication services: meeting the industry expectations.
Falk DietrichJean-Pierre HubauxPublished in: Comput. Networks (2002)
Keyphrases
- formal methods
- communication services
- user centric
- service management
- model checking
- knowledge based systems
- formal specification
- case study
- computer networks
- multimedia communication
- software engineering
- multimedia information
- artificial intelligence
- multimedia
- information systems
- wireless communication
- modeling language
- data model
- expert systems