Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499
| Title: | Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499 |
|---|---|
| Authors: | Lilli, G.; Xavier, M.; Le Priol, E.; Perret, V.; Liakh, T.; Oboe, R.; Vyatkin, V. |
| Source: | IEEE Open Journal of the Industrial Electronics Society IEEE Open J. Ind. Electron. Soc. Industrial Electronics Society, IEEE Open Journal of the. 4:417-431 2023 |
| Database: | IEEE Xplore Digital Library |