Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman. Compositional Schedulability Analysis of An Avionics System Using UPPAAL. In Zaïdi Sahnoun, editor, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014. Volume 1294 of CEUR Workshop Proceedings, pages 140-147, CEUR-WS.org, 2014. [doi]
Abstract is missing.