Yıldız Teknik Üniversitesi
Akademik Veri Yönetim Sistemi
Araştırmacı Girişi
English
Tümü
Yayınlar
Projeler
Ödüller
Fikri Mülkiyet
Araştırmacılar
Tezler
Detaylı Arama
Ana Sayfa
Formal Analysis of Protection Systems in...
Formal Analysis of Protection Systems in Smart Grids using Probabilistic Model Checking
Selamoğulları U. S.
(Yürütücü),
Baysal M.
TÜBİTAK Uluslararası İkili İşbirliği Projesi, 2019 - 2023
Proje Türü:
TÜBİTAK Uluslararası İkili İşbirliği Projesi
Başlama Tarihi:
Eylül 2019
Bitiş Tarihi:
Ocak 2023