Conference
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 |
| ISBN: | 9798350360684 |
|---|---|
| ISSN: | 26425610 |
| DOI: | 10.1109/EDCC61798.2024.00022 |