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: 30 Apr 2024 23:56
Status: Published online
Refereed: No
Related URLs:

Download

Filename: CoSim_CPS_17_paper_13.pdf

Description: CoSim-CPS-17_paper_13

Export

Statistics