

Midhun Xavier
Doktorand
Luleå tekniska universitet
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
Publikationer
Konferensbidrag
Cyber-physical automation systems modelling with IEC 61499 for their formal verification (2021)
Ingår i: Proceedings, 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), IEEE, 2021
Konferensbidrag
Plant Model Generator from Digital Twin for Purpose of Formal Verification (2021)
Ingår i: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1-4, IEEE, 2021