Adina Aniculaesei, Andreas Vorwald, Meng Zhang, Andreas Rausch. Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods. In 18th IEEE International Conference on Software Architecture Companion, ICSA Companion 2021, Stuttgart, Germany, March 22-26, 2021. pages 139-148, IEEE, 2021. [doi]
@inproceedings{AniculaeseiVZR21,
title = {Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods},
author = {Adina Aniculaesei and Andreas Vorwald and Meng Zhang and Andreas Rausch},
year = {2021},
doi = {10.1109/ICSA-C52384.2021.00036},
url = {https://doi.org/10.1109/ICSA-C52384.2021.00036},
researchr = {https://researchr.org/publication/AniculaeseiVZR21},
cites = {0},
citedby = {0},
pages = {139-148},
booktitle = {18th IEEE International Conference on Software Architecture Companion, ICSA Companion 2021, Stuttgart, Germany, March 22-26, 2021},
publisher = {IEEE},
isbn = {978-1-6654-3910-7},
}