Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record journals/corr/abs-2209-14044
@inproceedings{DBLP:journals/corr/abs-2209-14044, author = {Rafael C. Cardoso and Angelo Ferrando and Michael Fisher}, editor = {Matt Luckcuck and Marie Farrell}, title = {Extending Attack-Fault Trees with Runtime Verification}, booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems {(FMAS)} and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022}, series = {{EPTCS}}, volume = {371}, pages = {193--207}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.371.14}, doi = {10.4204/EPTCS.371.14}, timestamp = {Sat, 30 Sep 2023 10:09:23 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-14044.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.