User: Guest  Login
Title:

A Multi-mode Real-Time Calculus

Author(s):
Phan, L.T.X.; Chakraborty, S.; Thiagarajan, P.S.
Keywords:
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
Book / Congress title:
Proceedings of the 29th IEEE Real-Time Systems Symposium (RTSS)
Year:
2008
Month:
30 2008-dec. 3
Pages:
59 -69
Fulltext / DOI:
doi:10.1109/RTSS.2008.47
 BibTeX