Toggle Main Menu Toggle Search

Open Access padlockePrints

A Specification Framework for Mixed-Criticality Scheduling Protocols

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).

Publication metadata

Author(s): Burns A, Jones CB

Publication type: Article

Publication status: Published

Journal: ACM-TECS

Year: 2025

Volume: 24

Issue: 6

Pages: 1-24

Print publication date: 01/11/2025

Online publication date: 13/10/2025

Acceptance date: 20/09/2025

Date deposited: 12/12/2025

ISSN (print): 1539-9087

ISSN (electronic): 1558-3465

Publisher: ACM

URL: https://dl.acm.org/doi/10.1145/3765522

DOI: 10.1145/3765522

Data Access Statement: No new data was generated during this study

Altmetrics

Altmetrics provided by Altmetric

Funding

Funder referenceFunder name
EPSRCResearchDataManagement
InnovateUKSCHEMEproject(10065634)
Jones’ research was also supported by RPG-2019-020 from the Leverhulme Foundation

Share