Tarama sonucunda 1 kayıt bulundu.
NoTez NoYazarYılTez Adı (Orijinal/Çeviri)Tez Türü Konu
1421253FURKAN CÖMERT2015An approach to cope with state space explosion problem in model checking embedded TV software
Gömülü TV yazılımı modelinin kontrolünde ortaya çıkan durum patlaması problemine çözüm yaklaşımı
Yüksek LisansBilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control

Satırlar(Rows) 1-1 of 1

2025 © ULUSAL TEZ MERKEZİ
İnternet sitemizi en iyi şekilde görüntüleyebilmek için Google Chrome ya da Mozilla Firefox tarayıcısını kullanmanızı öneririz.