Computation of projections for the abstraction-based diagnosability verification


Schmidt K. V.

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

  • 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