1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Gang Chen, Nan Guan, Di Liu +4
Mixed-criticality models are an emerging paradigm for the design of real-time systems because of their significantly improved resource efficiency. However, formal mixed-criticality…