Computation of projections for the abstraction-based diagnosability verification | AVESİS

Orta Doğu Teknik Üniversitesi Akademik Veri Yönetim Sistemi

Computation of projections for the abstraction-based diagnosability verification

Atıf İçin Kopyala

10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Almanya, 30 Ağustos - 01 Eylül 2010, cilt.10, ss.199-204

Yayın Türü: Bildiri / Tam Metin Bildiri
Cilt numarası: 10
Basıldığı Şehir: Berlin
Basıldığı Ülke: Almanya
Sayfa Sayıları: ss.199-204
Orta Doğu Teknik Üniversitesi Adresli: Hayır