Algorithms for Synthesizing Priorities in Component-based Systems

Titel:: Algorithms for Synthesizing Priorities in Component-based Systems
Autor(en):: Cheng, Chih-Hong; Bensalem, Saddek; Chen, Yu-Fang; Yan, Rongjie; Jobstmann, Barbara; Ruess, Harald; Buckl, Christian; Knoll, Alois
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

Vorkommen: