

Midhun Xavier
PhD Student
Luleå University of Technology
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
Publications
Conference paper
Cyber-physical automation systems modelling with IEC 61499 for their formal verification (2021)
Part of: Proceedings, 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), IEEE, 2021
Conference paper
Plant Model Generator from Digital Twin for Purpose of Formal Verification (2021)
Part of: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1-4, IEEE, 2021