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

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: 07 Dec 2022 09:02
Status: Published
Refereed: No
Related URLs:

Download

Accepted Version

Filename: MultiModelUnification.pdf

Description: MultiModelUnification

CLICK TO DOWNLOAD [img]

Export

Statistics


CORE (COnnecting REpositories)