Login
- Autor(en):
- Chakraborty, Samarjit; Liu, Yanhong; Stoimenov, Nikolay; Thiele, Lothar; Wandeler, Ernesto
- Titel:
- Interface-Based Rate Analysis of Embedded Systems
- Stichworte:
- 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
- Kongress- / Buchtitel:
- Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS)
- Jahr:
- 2006
- Monat:
- dec.
- Seiten:
- 25 -34
- Volltext / DOI:
- doi:10.1109/RTSS.2006.26
BibTeX