Data-Centric Design for Formal Verification of Vehicle Monitoring

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]

Abstract

Abstract is missing.