Verifying automata specification of distributed probabilistic real-time systems.
Tiegeng LuoHuowang ChenBingshan WangJi WangZhenghu GongZhichang QiPublished in: J. Comput. Sci. Technol. (1998)
Keyphrases
- real time systems
- distributed systems
- real time embedded
- mission critical
- distributed environment
- reactive systems
- real time database systems
- real time
- timed automata
- bayesian networks
- probabilistic model
- embedded systems
- object oriented programming language
- architectural model
- multi agent
- artificial intelligence
- model checking
- timing constraints
- mobile agents
- cooperative