Formal Methods for Broadband and Multimedia Systems.
Stefan FischerStefan LeuePublished in: Comput. Networks (1998)
Keyphrases
- formal methods
- multimedia systems
- multimedia
- multimedia processing
- knowledge based systems
- database systems
- software engineering
- artificial intelligence
- multimedia information
- multimedia information retrieval
- intelligent multimedia
- information retrieval
- video data
- digital libraries
- model checking
- information retrieval systems
- multimedia content
- multimedia databases
- formal specification
- development lifecycle
- expert systems