Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Lilli, Giordano and Xavier, Midhun and Le Priol, Etienne and Perret, Vincent and Liakh, Tatiana and Oboe, Roberto and Vyatkin, Valeriy

Journal title: IEEE Open Journal of the Industrial Electronics Society

Journal publisher: ΙΕΕΕ

Published year: 2023

DOI identifier: 10.1109/OJIES.2023.3321084

ISSN: 2644-1284