Toggle Main Menu Toggle Search

Open Access padlockePrints

A Rely-Guarantee Specification of Mixed-Criticality Scheduling

Lookup NU author(s): Professor Cliff Jones



This is the final published version of a book chapter that has been published in its final definitive form by College Publications, 2022.

For re-use rights please refer to the publisher's terms and conditions.

Publication metadata

Author(s): Jones CB, Burns A

Editor(s): Cassano, V; Aguirre, N; Castro, P; Demasi, R

Publication type: Book Chapter

Publication status: Published

Book Title: Mathematical Foundations of Software Engineering: Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement

Year: 2022

Print publication date: 30/05/2022

Acceptance date: 01/06/2020

Publisher: College Publications


Library holdings: Search Newcastle University Library for this item

ISBN: 9781848903999