Model Checking Of Software Design Specifications in UML

Model Checking Of Software Design Specifications in UML

Advisor: 

M. Ufuk Caglayan

Assigned to: 

Albert Ozkohen

Type: 

Status: 

Bize Ulaşın

Bilgisayar Mühendisliği Bölümü, Boğaziçi Üniversitesi,
34342 Bebek, İstanbul, Türkiye

  • Telefon: +90 212 359 45 23/24
  • Faks: +90 212 2872461
 

Bizi takip edin

Sosyal Medya hesaplarımızı izleyerek bölümdeki gelişmeleri takip edebilirsiniz