News
A model of a Simulink diagram can be used for further analysis such as test generation and formal verification. The modeling approach is sound and complete: The input-output behavior of an I/O-EFA ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results