A Specification Framework for Mixed-Criticality Scheduling Protocols

Alan Burns 0001, Cliff B. Jones. A Specification Framework for Mixed-Criticality Scheduling Protocols. ACM Trans. Embedded Comput. Syst., 24(6), November 2025. [doi]

Abstract

Abstract is missing.