Formalising Cosimulation Models

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: F. Zeyda, J. Ouy, S. Foster and A. Cavalcanti.

Journal title: CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems

Journal number: Lecture Notes in Computer Science, Vol 10729

Journal publisher: Springer

Published year: 2017