Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Woodcock, Jim orcid.org/0000-0001-7955-2702, Fitzgerald, John, Gamble, Carl et al. (2 more authors) (2015) Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In: UNSPECIFIED.

Abstract

Metadata

Item Type: Conference or Workshop Item
Authors/Creators:
Dates:
  • Published: 2015
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 08 Jul 2016 08:51
Last Modified: 10 Mar 2024 00:01
Published Version: https://doi.org/10.1109/FormaliSE.2015.14
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1109/FormaliSE.2015.14

Download

Filename: cyber_physical_systems_design.pdf

Description: cyber-physical-systems-design

Export

Statistics