Timed Automata Model for Component-Based Real-Time Systems.

Georgiana Macariu Vladimir Cretu

Published in: ECBS (2010)

Keyphrases

real time systems
timed automata
high level
computational model
architectural model
machine learning
probabilistic model
case study
probability distribution
design patterns