Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking

Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Li, Valeriy Vyatkin

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

10 Sitaatiot (Scopus)

Sormenjälki

Sukella tutkimusaiheisiin 'Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science