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: L.D. Couto, S. Basagiannis, E.H. Ridouane, A. El-Din Mady, M. Hasanagic and P.G. Larsen.
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