User: Guest  Login
Title:

Algorithms for Synthesizing Priorities in Component-based Systems

Author(s):
Cheng, Chih-Hong; Bensalem, Saddek; Chen, Yu-Fang; Yan, Rongjie; Jobstmann, Barbara; Ruess, Harald; Buckl, Christian; Knoll, Alois
Keywords:
embedded
Book / Congress title:
Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)
Publisher:
Springer-Verlag
Year:
2011
Bookseries title:
LNCS
Fulltext / DOI:
doi:10.1007/978-3-642-24372-1_12
 BibTeX