| Date of Award | 31 Aug 2014 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1) & L.W.A. van der Wijst (External coach) |
Analysis of starsense wireless components and their interaction using formal methods
Student thesis: Master