15 citations · 16 across the 4 of their papers we have counts for
1 paper · 2 filters
Cliff B Jones, Alan Burns
The application considered is mixed-criticality scheduling. The core formal approaches used are Rely-Guarantee conditions and the Timeband framework; these are applied to give a la…