| Datum prijs | aug. 2024 |
|---|---|
| Originele taal | Engels |
| Begeleider | Sofie Haesaert (Afstudeerdocent 1) |
Citeer dit
- Standard
Modular Risk Assessment: A Compositional Verification Method for Approximated Automaton
Scriptie/Masterproef: Master