Research Article

Formal Specification Based Automatic Test Generation for Embedded Network Systems

Figure 3

An example embedded system.
909762.fig.003