An FMI-Based Initialization Plugin for INTO-CPS Maestro 2

Simon Thrane Hansen, Casper Thule, Cláudio Gomes. An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. In Loek Cleophas, Mieke Massink, editors, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Volume 12524 of Lecture Notes in Computer Science, pages 295-310, Springer, 2020. [doi]

Authors

Simon Thrane Hansen

This author has not been identified. Look up 'Simon Thrane Hansen' in Google

Casper Thule

This author has not been identified. Look up 'Casper Thule' in Google

Cláudio Gomes

This author has not been identified. Look up 'Cláudio Gomes' in Google