Reliability and Dependability
| Keywords | Personen |
|---|---|
| Verification & Probabilistic Programming | Joost-Pieter Katoen |
| Model Verification | Erika Ábrahám |
| Reliability and Safety of Embedded Systems | Stefan Kowalewski |
Zum Inhaltsbereich Zur Hauptnavigation Zum Footer Zur Suche