UMIICA: A Model-Driven Integrated Development Environment for Industrial Control Applications
With the growing complexity of software-based industrial control applications, the demand for reliable software in the industrial control domain has also been increasing. Although the robustness of complex industrial control applications can benefit from formal modeling and verification, there remai...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2018-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8425031/ |