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: 20 Sep 2025 02:35
Status: Published
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: MultiModelUnification.pdf

Description: MultiModelUnification

CLICK TO DOWNLOAD [thumbnail of MultiModelUnification]

Export

Statistics


CORE (COnnecting REpositories)