Toggle Main Menu Toggle Search

Open Access padlockePrints

Deriving specifications of control programs for cyber physical systems

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

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

Publication type: Article

Publication status: Published

Journal: The Computer Journal

Year: 2019

Online publication date: 30/04/2019

Acceptance date: 25/02/2019

ISSN (print): 0010-4620

ISSN (electronic): 1460-2067

Publisher: BCS

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

DOI: 10.1093/comjnl/bxz019


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share