This paper addresses two important workflow issues to support the design and verification of HMI logic: integration of the HMI graphics and logic, and formal verification of the logic using a virtual HMI connected to a Simulink model.
2015-01-07 07:00 AM
更多...