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]
@inproceedings{HoffmannHWVLF22,
title = {Using Formal Methods to Specify Data-Driven Cyber-Physical Systems},
author = {José Luis Conradi Hoffmann and Leonardo Passig Horstmann and Matheus Wagner and Felipe Vieira and Mateus Martínez De Lucena and Antônio Augusto Fröhlich},
year = {2022},
doi = {10.1109/ISIE51582.2022.9831686},
url = {https://doi.org/10.1109/ISIE51582.2022.9831686},
researchr = {https://researchr.org/publication/HoffmannHWVLF22},
cites = {0},
citedby = {0},
pages = {643-648},
booktitle = {31st IEEE International Symposium on Industrial Electronics, ISIE 2022, Anchorage, AK, USA, June 1-3, 2022},
publisher = {IEEE},
isbn = {978-1-6654-8240-0},
}