Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (2016) Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. , pp. 171-186.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: October 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 25 Oct 2016 09:08
Last Modified: 29 Mar 2024 00:01
Status: Published
Refereed: No
Related URLs:

Download

Filename: MultiModelUnification.pdf

Description: MultiModelUnification

Export

Statistics