| Date of Award | 25 Nov 2019 |
|---|---|
| Original language | English |
| Supervisor | Loek G.W.A. Cleophas (Supervisor 1) & Mladen Skelin (External coach) |
Using static analysis to improve scalability of active automata learning of data-dependent components
Student thesis: Master