Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems

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