Enhancing Traceability in Flexible Production System
Talk, Ulsan, South Korea, Ulsan , South Korea
Talks and presentations
Test Suite for IEC 61499 Application Portability
Talk, Helsinki, Finland, Helsinki, Finland
Talk on 2022 IEEE 20th International Conference on Industrial Informatics (INDIN)
Talk, Perth, Australia, Perth, Australia
Presentation on HiPEAC 2022 conference
Talk, Budapest, Hungary
Presentation on 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)
Talk, Stuttgart, Germany
Seminar on framework for closed-loop formal verification of distributed automation software with plant model generator from event logs
Talk, NSU, Russia
Tutorial 1 on Direct Verification of IEC 61499 systems using NuSMV
Tutorial, LTU, Sweden
Talk on 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Talk, Vasteras, Sweden, Vasteras, Sweden
Talk on 2021 IEEE 19th International Conference on Industrial Informatics (INDIN)
Talk, Palma de Mallorca, Spain, Palma de Mallorca, Spain