Original language | English |
---|---|
Title of host publication | 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017) |
Number of pages | 15 |
Publication status | E-pub ahead of print - Sept 2017 |
Formalising Cosimulation Models
Frank Zeyda, Julian Ouy, Simon David Foster, Ana Lucia Caneca Cavalcanti
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution