Journal of Applied Mathematics

Research Article

A Latent Implementation Error Detection Method for Software Validation

Figure 2

The specification and implementation IOLTS models for the AVM software.
138287.fig.002a
(a)
138287.fig.002b
(b)
138287.fig.002c
(c)