Login
- Author(s):
- Chakraborty, Samarjit; Liu, Yanhong; Stoimenov, Nikolay; Thiele, Lothar; Wandeler, Ernesto
- Title:
- Interface-Based Rate Analysis of Embedded Systems
- Keywords:
- associated rate interface algebra; compositional design; correct-by-construction design; embedded systems; functional verification; interface-based rate analysis; performance verification; embedded systems; formal verification; object-oriented programming; process algebra; systems analysis
- Book / Congress title:
- Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS)
- Year:
- 2006
- Month:
- dec.
- Pages:
- 25 -34
- Fulltext / DOI:
- doi:10.1109/RTSS.2006.26
BibTeX