Timed Semantics of Message Sequence Charts Based on Timed Automata.
Philipp LucasPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- formal semantics
- temporal logic
- theorem proving
- real time systems
- first order logic
- logic programming
- conceptual model
- semantic information
- statistical process control
- neural network
- conceptual graphs
- petri net
- input data
- data model
- video sequences
- metadata
- machine learning