Modelling and Simulation in Engineering

Research Article

Model-Based Testing Applied to Software Components of Satellite Simulators

Figure 8

Mealy state machine for the DCS subsystem.