An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems

Burns, Alan orcid.org/0000-0001-5621-8816 and Jones, Cliff (2022) An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. In: Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Euromicro Conference on Real-Time Systems, 05-08 Jul 2022 ACM

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

© A. Burns and C.B. Jones

Dates:
  • Accepted: 11 April 2022
  • Published: 5 July 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/N023641/1
Depositing User: Pure (York)
Date Deposited: 18 May 2022 13:10
Last Modified: 02 Apr 2025 23:34
Published Version: https://doi.org/10.4230/LIPIcs.ECRTS.2022.12
Status: Published
Publisher: ACM
Identification Number: 10.4230/LIPIcs.ECRTS.2022.12
Open Archives Initiative ID (OAI ID):

Download

Filename: ECRTS22.pdf

Description: ECRTS22

Licence: CC-BY 2.5

Export

Statistics