Formalising Cosimulation Models

Zeyda, Frank, Ouy, Julian, Foster, Simon David orcid.org/0000-0002-9889-9514 et al. (1 more author) (2017) Formalising Cosimulation Models. In: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017).

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published (online): September 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 28 Sep 2017 13:15
Last Modified: 20 Sep 2025 02:37
Status: Published online
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: CoSim_CPS_17_paper_13.pdf

Description: CoSim-CPS-17_paper_13

CLICK TO DOWNLOAD [thumbnail of CoSim-CPS-17_paper_13]

Export

Statistics


CORE (COnnecting REpositories)