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