"A Specification Framework for Mixed-Criticality Scheduling Protocols."

Alan Burns, Cliff B. Jones (2025)

Details and statistics

DOI: 10.1145/3765522

access: closed

type: Journal Article

metadata version: 2025-11-16