MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden
Wed 4 Oct 2023 08:30 - 09:00 at Kongresshall - Plenary

Wed 4 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
08:30
30m
Social Event
Welcome to MODELS 2023
MODELS
Antonio Cicchetti Mälardalen University, Alfonso Pierantonio Università degli Studi dell'Aquila, Thomas Kuehne Victoria University of Wellington, Gabriele Taentzer Philipps-Universität Marburg
09:00
60m
Keynote
Models for formal methods and tools: the case of railway systems
MODELS
File Attached