FMICS'23 Best Paper Award

van der Wal, Djurre (Recipient), Stoelinga, Mariëlle I.A. (Recipient) & Gerhold, Marcus (Recipient)

Prize

Description

Awarded to our paper, "Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller"

Awarded date	20 Jul 2023

Event title	28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023
Location	Antwerp, BelgiumShow on map
Period	20 Sept 2023 → 22 Sept 2023