José Luis Conradi Hoffmann, Antônio Augusto Fröhlich. Data-Centric Design for Formal Verification of Vehicle Monitoring. In XIII Brazilian Symposium on Computing Systems Engineering, SBESC 2023, Porto Alegre, Brazil, November 21-24, 2023. pages 1-6, IEEE, 2023. [doi]
@inproceedings{HoffmannF23,
title = {Data-Centric Design for Formal Verification of Vehicle Monitoring},
author = {José Luis Conradi Hoffmann and Antônio Augusto Fröhlich},
year = {2023},
doi = {10.1109/SBESC60926.2023.10324280},
url = {https://doi.org/10.1109/SBESC60926.2023.10324280},
researchr = {https://researchr.org/publication/HoffmannF23},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {XIII Brazilian Symposium on Computing Systems Engineering, SBESC 2023, Porto Alegre, Brazil, November 21-24, 2023},
publisher = {IEEE},
isbn = {979-8-3503-9410-8},
}