Habermetrik
← Ana Sayfa
15 Kasım 2026 07:21
✍ Editör: Habermetrik · Editör Politikası

Bursalı profesörün başarısı

Bursalı profesörün başarısı
Görsel kaynağı: bursahaber.com, GN Bursa haber
⏱️ 1 dk okuma 🛡️ %85 Doğruluk · 2 Kaynak
WhatsApp Paylaş
⚡ 30 Saniyede Özet Habermetrik Yapay Zeka Özeti
  • Bursalı Öğretim Üyesi Prof
  • Tolga Ovatman ve ekibinin hazırladığı bilimsel makale, uluslararası prestijli SoSyM dergisi tarafından "Son On Yılın En Etkili Tematik Makalesi Ödülü"ne layık görüldü

Bursalı Öğretim Üyesi Prof. Dr. Tolga Ovatman ve ekibinin hazırladığı bilimsel makale, uluslararası prestijli SoSyM dergisi tarafından "Son On Yılın En Etkili Tematik Makalesi Ödülü"ne layık görüldü. İstanbul Teknik Üniversitesi (İTÜ) Bilgisayar ve Bilişim Fakültesi Bilgisayar Mühendisliği Bölümü'nde görev yapan Prof.

Dr. Tolga Ovatman'ın Atakan Aral, Davut Polat ve Ali Osman Ünver ile birlikte kaleme aldığı "An overview of model checking practices on verification of PLC software" başlıklı çalışma, yazılım modelleme alanının önemli bilimsel yayınlarından Software and Systems Modeling (SoSyM) dergisi tarafından ödüllendirildi.

Endüstriyel otomasyon sistemlerinde kullanılan PLC yazılımlarının doğrulanmasında model sınama yöntemlerini ve bu süreçte karşılaşılan güçlükleri ele alan makale, son on yılda aldığı atıflar ve bilimsel alana sağladığı katkıyla öne çıktı. Uluslararası alanda önemli bir başarı elde eden Prof.

Dr. Tolga Ovatman ve ekip arkadaşlarına ödülü İspanya'da düzenlenen MODELS 2026 Konferansı kapsamında takdim edildi.

💬 Habere Tepkinizi Belirtin:
Habermetrik WhatsApp Kanalına Katılın

Günde en fazla 3 kritik gelişme. Bildirim kirliliği yok, anında bilgi.

Kanalı Takip Et →
Kaynaklar: bursahaber.com, GN Bursa haber
Haber metni ve görseller bursahaber.com, GN Bursa haber sitesine aittir; tam içerik kaynak sitede yayınlanır.
Haber Künyesi
Kategori: Eğitim
Yayın: 15 Kasım 2026 07:21 · Kaynak: bursahaber.com, GN Bursa haber
Kaynağı Oku ↗

Zaman Çizelgesi