Datum: Måndagen den 21 maj
Tid:13.15
Plats:Polhemsalen, Ångström laboratoriet, Lägerhyddsvägen 1
Avhandlingens titel:Model-Based Test Case Generation for Real-Time Systems