Timed Automata as Task Models for Event-Driven Systems.
Christer NorströmAnders WallWang YiPublished in: RTCSA (1999)
Keyphrases
- data exchange
- event driven
- data management
- complex systems
- timed automata
- expert systems
- model checking
- management system
- mathematical models
- reachability analysis
- database
- trading systems
- abstraction levels
- markup language
- probabilistic model
- real time
- markov decision processes
- model selection
- computer systems
- peer to peer
- software engineering
- physical systems
- information delivery
- query processing