A formal methods approach to pattern synthesis in reaction diffusion systems

AYDIN GÖL E., Bartocci E., Belta C.

53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA, 15 - 17 Aralık 2014, (Tam Metin Bildiri)

• Yayın Türü: Bildiri / Tam Metin Bildiri
• Doi Numarası: 10.1109/cdc.2014.7039367
• Basıldığı Şehir: Los Angeles, CA, USA
• Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu
• Orta Doğu Teknik Üniversitesi Adresli: Evet