José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Antônio Augusto Fröhlich. Using Formal Methods for On-The-Fly Time Series Verification. In 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023. pages 21-29, ACM, 2023. [doi]
@inproceedings{HoffmannHF23,
title = {Using Formal Methods for On-The-Fly Time Series Verification},
author = {José Luis Conradi Hoffmann and Leonardo Passig Horstmann and Antônio Augusto Fröhlich},
year = {2023},
doi = {10.1145/3615366.3615427},
url = {https://doi.org/10.1145/3615366.3615427},
researchr = {https://researchr.org/publication/HoffmannHF23},
cites = {0},
citedby = {0},
pages = {21-29},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023},
publisher = {ACM},
}