NuSMV MODEL DENETLEYİCİ İLE DOĞRULANAN MAKAS MOTORU MODELİNİN PLC İLE GERÇEKLENMESİ

LEBLEBİCİ A., TÜRKAY S.

OTOMATİK KONTROL ULUSAL TOPLANTISI, 2014 (TOK2014), Kocaeli, Türkiye, 11 - 13 Eylül 2014, (Tam Metin Bildiri)

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: Kocaeli
  • Basıldığı Ülke: Türkiye
  • Eskişehir Osmangazi Üniversitesi Adresli: Evet