Benutzer: Gast  Login
Titel:

A Multi-mode Real-Time Calculus

Autor(en):
Phan, L.T.X.; Chakraborty, S.; Thiagarajan, P.S.
Stichworte:
count-based abstraction; data stream; fine grained state-based model; multi-mode real-time calculus framework; real-time systems; scheduling policy; state-space explosion; streaming data; timed automata; calculus of communicating systems; real-time systems
Kongress- / Buchtitel:
Proceedings of the 29th IEEE Real-Time Systems Symposium (RTSS)
Jahr:
2008
Monat:
30 2008-dec. 3
Seiten:
59 -69
Volltext / DOI:
doi:10.1109/RTSS.2008.47
 BibTeX