Deductive Verification of Probabilistic Real-Time Systems.
Satoshi YamanePublished in: ICDCS Workshops (2004)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- real time database systems
- timing constraints
- mission critical
- object oriented
- embedded real time systems
- architectural model
- object oriented programming language
- probabilistic model
- model checking
- real time embedded
- anytime algorithms
- software development
- knowledge management