Remigiusz Wisniewski, Grzegorz Bazydlo, Luís Gomes 0001, Anikó Costa, Marcin Wojnakowski. Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. In IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal, October 14-17, 2019. pages 5843-5848, IEEE, 2019. [doi]
Abstract is missing.