Computation of projections for the abstraction-based diagnosability verification
10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Almanya, 30 Ağustos - 01 Eylül 2010, cilt.10, ss.199-204, (Tam Metin Bildiri)
- 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