Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Professor Cliff JonesORCiD



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

Editor(s): Maggio, Martina

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 34th Euromicro Conference on Real-Time Systems (ECRTS 2022)

Year of Conference: 2022

Online publication date: 28/06/2022

Acceptance date: 02/04/2018

Date deposited: 11/11/2022

ISSN: 1868-8969

Publisher: Leibniz-Zentrum für Informatik


DOI: 10.4230/LIPIcs.ECRTS.2022.14

Library holdings: Search Newcastle University Library for this item

Series Title: Leibniz International Proceedings in Informatics

ISBN: 9783959772396