مؤتمر
Automated Fault Tree Generation for Rust Programs
العنوان: | Automated Fault Tree Generation for Rust Programs |
---|---|
المؤلفون: | Zimmer, Dominic, Schmidt, Andreas |
المصدر: | 2024 19th European Dependable Computing Conference (EDCC) EDCC Dependable Computing Conference (EDCC), 2024 19th European. :57-60 Apr, 2024 |
Relation: | 2024 19th European Dependable Computing Conference (EDCC) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9798350360684 |
---|---|
تدمد: | 26425610 |
DOI: | 10.1109/EDCC61798.2024.00022 |