Toggle Main Menu Toggle Search

Open Access padlockePrints

Deriving specifications of control programs for cyber physical systems

Lookup NU author(s): Professor Cliff Jones



This is the authors' accepted manuscript of an article that has been published in its final definitive form by Oxford University Press, 2019.

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

Publication metadata

Author(s): Burns A, Hayes IJ, Jones CB

Publication type: Article

Publication status: Published

Journal: The Computer Journal

Year: 2019

Volume: 63

Issue: 5

Pages: 774-790

Print publication date: 01/05/2020

Online publication date: 30/04/2019

Acceptance date: 25/02/2019

Date deposited: 28/01/2020

ISSN (print): 0010-4620

ISSN (electronic): 1460-2067

Publisher: Oxford University Press


DOI: 10.1093/comjnl/bxz019


Altmetrics provided by Altmetric