Login
- Autor(en):
- Cheng, Chih-Hong; Bensalem, Saddek; Chen, Yu-Fang; Yan, Rongjie; Jobstmann, Barbara; Ruess, Harald; Buckl, Christian; Knoll, Alois
- Titel:
- Algorithms for Synthesizing Priorities in Component-based Systems
- Stichworte:
- embedded
- Kongress- / Buchtitel:
- Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)
- Verlag / Institution:
- Springer-Verlag
- Jahr:
- 2011
- Serientitel:
- LNCS
- Volltext / DOI:
- doi:10.1007/978-3-642-24372-1_12
BibTeX