Verification of Control System Runtime Using an Executable Semantic Model †
Article in Algorithms (June 2024)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in Algorithms (June 2024)
Article in ACM Transactions on Embedded Computing Systems (September 2022)
Article in International Journal of Electrical Power & Energy Systems (June 2022)