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, 2529 - Pakistan Bilim ve Teknoloji Bakanlığı (MoST) İkili İşbirliği Programı, 2019 - 2023
- Proje Türü: TÜBİTAK Uluslararası İkili İşbirliği Projesi
- Destek Programı: 2529 - Pakistan Bilim ve Teknoloji Bakanlığı (MoST) İkili İşbirliği Programı
- Başlama Tarihi: Eylül 2019
- Bitiş Tarihi: Ocak 2023