The verification technique of real-time systems using probabilities.
Satoshi YamanePublished in: RTCSA (1996)
Keyphrases
- real time systems
- real time
- distributed systems
- timing constraints
- model checking
- probability distribution
- real time database systems
- mission critical
- embedded systems
- embedded real time systems
- anytime algorithms
- architectural model
- real time embedded
- object oriented programming language
- multi agent
- distributed database systems