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:
- doi:10.1109/RTSS.2008.47
BibTeX