Schedulability analysis of fixed-priority systems using timed automata.

Elena Fersman Leonid Mokrushin Paul Pettersson Wang Yi

Published in: Theor. Comput. Sci. (2006)

Keyphrases

image analysis
distributed systems
decision making
real time
neural network
website
user interface
software engineering
quantitative analysis
timed automata