Tarama sonucunda 1 kayıt bulundu.
NoTez NoYazarYılTez Adı (Orijinal/Çeviri)Tez Türü Konu
1831587MERT ALP TAYTAK2023Repair of timed automata for non-vacuous satisfaction of requirements
Zamanlı otomatların gerekliliklerin anlamlı sağlanması için tamiri
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.