José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Matheus Wagner, Felipe Vieira, Mateus Martínez De Lucena, Antônio Augusto Fröhlich. Using Formal Methods to Specify Data-Driven Cyber-Physical Systems. In 31st IEEE International Symposium on Industrial Electronics, ISIE 2022, Anchorage, AK, USA, June 1-3, 2022. pages 643-648, IEEE, 2022. [doi]
Abstract is missing.