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

Summary

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

Results type(s)
Unfold all
/
Fold all
Structured mapping
Unfold all
/
Fold all
System resource tags
CORDA
ZERO-ENABLING SMART NETWORKED CONTROL FRAMEWORK FOR AGILE CYBER PHYSICAL PRODUCTION SYSTEMS OF SYSTEMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Contacts
Not specified (see website if available) or see associated project
Associated projects
Associated products/services
  • No items published
Organisations
  • Not specified
Powered by Chris Decubber BV