A multi-mode real-time calculus
10.1109/RTSS.2008.47
Saved in:
Main Authors: | Phan, L.T.X., Chakraborty, S., Thiagarajan, P.S. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/41962 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Composing functional and state-based performance models for analyzing heterogeneous real-time systems
by: Phan, L.T.X., et al.
Published: (2013) -
Event count automata: A state-based model for stream processing systems
by: Chakraborty, S., et al.
Published: (2014) -
A verification system for timed interval calculus
by: Chen, C., et al.
Published: (2013) -
A verification system for timed interval calculus
by: CHEN, Chunqing, et al.
Published: (2008) -
Applying timed interval calculus to simulink diagrams
by: Chunqing, C., et al.
Published: (2013)