User: Guest  Login
Author(s):
Phan, L.T.X.; Chakraborty, S.; Thiagarajan, P.S. 
Title:
A Multi-mode Real-Time Calculus 
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:
versions