| Ödül Tarihi | 2015 |
|---|---|
| Orijinal dil | İngilizce |
| Danışman | Tolga Ovatman (Danışman) |
An approach to cope with state space explosion problem in model checking embedded TV software
Öğrenci tezi: Yüksek Lisans Tezi