Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller.

Djurre van der Wal, Marcus Gerhold, Marille Stoelinga

Browse the full FMICS paper archive.