Skip to content
Dummy image
Dummy image

Midhun Xavier

PhD Student
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
+46 (0)920 492848


Conference paper

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

Xavier. M, Patil. S, Vyatkin. V
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)

Xavier. M, Håkansson. J, Patil. S, Vyatkin. V
Part of: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1-4, IEEE, 2021