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 |
καταχωρήστε σχόλιο πρώτοι!