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