Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/icsa/AniculaeseiVZR21
@inproceedings{DBLP:conf/icsa/AniculaeseiVZR21, author = {Adina Aniculaesei and Andreas Vorwald and Meng Zhang and Andreas Rausch}, title = {Architecture-based Hybrid Approach to Verify Safety-critical Automotive System Functions by Combining Data-driven and Formal Methods}, booktitle = {18th {IEEE} International Conference on Software Architecture Companion, {ICSA} Companion 2021, Stuttgart, Germany, March 22-26, 2021}, pages = {139--148}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICSA-C52384.2021.00036}, doi = {10.1109/ICSA-C52384.2021.00036}, timestamp = {Wed, 19 May 2021 14:33:36 +0200}, biburl = {https://dblp.org/rec/conf/icsa/AniculaeseiVZR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.