print · source · login   

RRRT-model (Rational Rose RealTime)

The mealy machine "ESM Controller" is based on the RRRT-model as described in the [SMVJ15] paper. It is flattened to be a Mealy machine.

Learned models using Learnlib