Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen. Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. In Antonio Cerone, Marco Roveri, editors, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers. Volume 10729 of Lecture Notes in Computer Science, pages 284-299, Springer, 2017. [doi]

This author has not been identified. Look up 'Luís Diogo Couto' in GoogleThis author has not been identified. Look up 'Stylianos Basagiannis' in GoogleThis author has not been identified. Look up 'El Hassan Ridouane' in GoogleThis author has not been identified. Look up 'Alie El-Din Mady' in GoogleThis author has not been identified. Look up 'Miran Hasanagic' in GoogleThis author has not been identified. Look up 'Peter Gorm Larsen' in Google

runs on WebDSL