Formal Methods for Broadband and Multimedia Systems (Tutorial).
Stefan FischerStefan LeuePublished in: ICSE (1997)
Keyphrases
- formal methods
- multimedia systems
- multimedia
- formal specification
- multimedia processing
- digital libraries
- multimedia information retrieval
- model checking
- information retrieval systems
- artificial intelligence
- intelligent multimedia
- software engineering
- database systems
- multimedia databases
- knowledge based systems
- video data
- multimedia content
- multimedia information
- information retrieval
- image retrieval
- e learning
- knowledge acquisition
- multimedia data
- modeling language
- relational databases
- development lifecycle
- formal specification language