| Date of Award | 2015 |
|---|---|
| Original language | English |
| Supervisor | Tolga Ovatman (Supervisor) |
An approach to cope with state space explosion problem in model checking embedded TV software
Student thesis: Master's thesis