Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods Conference Paper

authors

Aniculăesei, Adina

publication date

March 1, 2021

has subject area

published in

https://forschungsatlas.fid-bau.de/individual/ Geographic Location

Digital Object Identifier (DOI)

https://doi.org/10.1109/icsa-c52384.2021.00036