Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.
Rodolfo GómezHoward BowmanPublished in: FORTE (2003)
Keyphrases
- timed automata
- model checking
- formal verification
- multimedia
- formal specification
- temporal logic
- formal methods
- reachability analysis
- content description
- asynchronous circuits
- high level
- verification method
- data streams
- specification language
- sliding window
- cultural heritage
- stream data
- multimedia data
- multimedia information retrieval
- discrete geometry
- protocol specification
- discrete version
- real time
- multimedia objects
- learning environment
- metadata
- artificial intelligence
- real time systems
- theorem prover
- modal logic
- first order logic
- e learning