Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques

Karaduman B., Tezel B. T., Challenger M.

ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), Linz, Avusturya, 22 - 27 Eylül 2024, ss.1076-1085

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1145/3652620.3687819
  • Basıldığı Şehir: Linz
  • Basıldığı Ülke: Avusturya
  • Sayfa Sayıları: ss.1076-1085
  • Dokuz Eylül Üniversitesi Adresli: Evet