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. Foldager, P.G. Larsen and O. Green.
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