Deriving specifications of control programs for cyber physical systems

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.

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

URL: https://doi.org/10.1093/comjnl/bxz019

DOI: 10.1093/comjnl/bxz019

Altmetrics provided by Altmetric

ePrints