research
∙
12/02/2020
A Rely-Guarantee Specification of Mixed-Criticality Scheduling
The application considered is mixed-criticality scheduling. The core for...
research
∙
06/11/2020