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: P. G. Larsen, J. Fitzgerald, J. Woodcock, C. Gamble, R. Payne and K. Pierce.
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