UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsBest paper award at FMICS (CONFEST) for FMT scientists!

Best paper award at FMICS (CONFEST) for FMT scientists!

Djurre van der Wal, Marcus Gerhold and Marielle Stoelinga won the Best Paper Award at the FMICS / CONFEST conference with: 
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (link to paper)