Login / Signup
Deductive Verification of Probabilistic Real-Time Systems.
Satoshi Yamane
Published 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