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