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
• Başlama Tarihi: Eylül 2019
• Bitiş Tarihi: Ocak 2023