Algorithms for Synthesizing Priorities in Component-Based Systems

Chih-Hong Cheng , Saddek Bensalem , Yu-Fang Chen , Rongjie Yan , Barbara Jobstmann , Harald Rueß , Christian Buckl und Alois Knoll

Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 150–167

2011 · DOI: 10.1007/978-3-642-24372-1_12

Url: http://dx.doi.org/10.1007/978-3-642-24372-1_12

URL DOI BibTeX Zurück