Reliability and Dependability
| Keywords | People |
|---|---|
| Verification & Probabilistic Programming | Joost-Pieter Katoen |
| Model Verification | Erika Ábrahám |
| Reliability and Safety of Embedded Systems | Stefan Kowalewski |
Skip to Content Skip to Main Navigation Skip to Search
| Keywords | People |
|---|---|
| Verification & Probabilistic Programming | Joost-Pieter Katoen |
| Model Verification | Erika Ábrahám |
| Reliability and Safety of Embedded Systems | Stefan Kowalewski |