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

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:
FunderGrant number
EPSRCEP/N023641/1
Depositing User: Pure (York)
Date Deposited: 18 May 2022 13:10
Last Modified: 07 Dec 2022 09:24
Published Version: https://doi.org/10.4230/LIPIcs.ECRTS.2022.12
Status: Published
Publisher: ACM
Refereed: No
Identification Number: https://doi.org/10.4230/LIPIcs.ECRTS.2022.12

Download

Filename: ECRTS22.pdf

Description: ECRTS22

Licence: CC-BY 2.5

Share / Export

Statistics