Login / Signup
A component-based framework for modeling and analyzing probabilistic real-time systems.
Luca Santinelli
Patrick Meumeu Yomsi
Dorin Maxim
Liliana Cucu-Grosjean
Published in:
ETFA (2011)
Keyphrases
</>
real time systems
real time
embedded systems
mission critical
distributed systems
timing constraints
embedded real time systems
probabilistic model
bayesian networks
software engineering
petri net
real time database systems