72 citations · 74 across the 4 of their papers we have counts for
1 paper · 2 filters
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…