Parameter synthesis for probabilistic real-time systems (Invited Paper).

Marta Kwiatkowska

Published in: SynCoP (2015)

Keyphrases

real time systems
invited paper
real time
distributed systems
embedded systems
real time database systems
mission critical
timing constraints
real time embedded
object oriented programming language
expert systems
control system
dynamic programming
web content
architectural model