Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model.

Abdullah Al Arafat, Sudharsan Vaidhun, Liangkai Liu, Kecheng Yang, Zhishan Guo

Browse the full RTAS paper archive.