SUPERVISORY CONTROL AND FORMAL METHODS FOR DISTRIBUTED SYSTEMS

INAN K.

Joint Workshop on Discrete Event Systems (WODES 92), PRAGUE, Çek Cumhuriyeti, 26 - 28 Ağustos 1992, cilt.13, ss.29-41 identifier

  • Cilt numarası: 13
  • Basıldığı Şehir: PRAGUE
  • Basıldığı Ülke: Çek Cumhuriyeti
  • Sayfa Sayıları: ss.29-41