Hoppa till innehållet
Dummy image
Dummy image

Midhun Xavier

Doktorand
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
midhun.xavier@ltu.se
0920-492848
Luleå

Publikationer

Konferensbidrag

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

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

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