Formalising Cosimulation Models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017)
Number of pages15
Publication statusE-pub ahead of print - Sept 2017

Cite this