Login
- Autor(en):
- Phan, L.T.X.; Chakraborty, S.; Thiagarajan, P.S.
- Titel:
- A Multi-mode Real-Time Calculus
- 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