Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen. Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL. JACIC, 16(11):473-499, November 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.