Automatic Verification of Real-Time Systems with Discrete Probability Distributions.
Marta Z. KwiatkowskaGethin NormanRoberto SegalaJeremy SprostonPublished in: ARTS (1999)
Keyphrases
- real time systems
- probability distribution
- real time
- distributed systems
- random variables
- embedded systems
- timing constraints
- real time database systems
- mission critical
- embedded real time systems
- bayesian networks
- object oriented programming language
- case study
- mobile devices
- high level
- database
- architectural model