Items where authors include "Hayes, Ian"
Jump to: Article
Number of items: 1.
Article
Burns, Alan orcid.org/0000-0001-5621-8816, Hayes, Ian and Jones, Cliff (2019) Deriving specifications of control programs for cyber physical systems. Computer journal. ISSN 1460-2067