Cyber-physical automation systems modelling with IEC 61499 for their formal verification

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

10 Sitaatiot (Scopus)

Sormenjälki

Sukella tutkimusaiheisiin 'Cyber-physical automation systems modelling with IEC 61499 for their formal verification'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science