Automatic verification of real-time systems with discrete probability distributions.
Marta Z. KwiatkowskaGethin NormanRoberto SegalaJeremy SprostonPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- real time systems
- probability distribution
- real time
- distributed systems
- embedded systems
- mission critical
- timing constraints
- random variables
- real time database systems
- bayesian networks
- embedded real time systems
- artificial intelligence
- information processing
- object oriented programming language
- architectural model