Research Article

Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation

Figure 1

Transform process.
421926.fig.001