Timed-automata based schedulability analysis for distributed firm real-time systems: a case study

Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian. Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. STTT, 15(3):211-228, 2013. [doi]

Authors

Thi Thieu Hoa Le

This author has not been identified. Look up 'Thi Thieu Hoa Le' in Google

Luigi Palopoli

This author has not been identified. Look up 'Luigi Palopoli' in Google

Roberto Passerone

This author has not been identified. Look up 'Roberto Passerone' in Google

Yusi Ramadian

This author has not been identified. Look up 'Yusi Ramadian' in Google