Browsing by Author "Xavier, Midhun"

Now showing items 1-1 of 1

Title: Plant Model Generator from Digital Twin for Purpose of Formal Verification Author(s): Xavier, Midhun; Håkansson, Johannes; Patil, Sandeep; Vyatkin, Valeriy Date: 2021-11-30 Series: Proceedings - 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021